• 基于符号执行的二进制代码动态污点分析

    基于符号执行的二进制代码动态污点分析

    论文摘要随着计算机在社会应用的日益增多,计算机安全逐渐成为关注的焦点。人们提出了许多技术来发掘软件的漏洞,污点分析和符号执行是其中两种有效的方法。污点分析是一种数据流分析方法,...
  • 基于静态源码分析的软件安全测试技术研究与实现

    基于静态源码分析的软件安全测试技术研究与实现

    论文摘要随着计算机技术的快速发展,软件在各行各业得到了广泛应用,它已经成为我们日常生活不可缺少的组成部分。软件经过编译和测试,每千行代码中平均有10-20个缺陷。虽然软件公司通...