污点分析论文

基于符号执行的二进制代码动态污点分析
论文摘要随着计算机在社会应用的日益增多,计算机安全逐渐成为关注的焦点。人们提出了许多技术来发掘软件的漏洞,污点分析和符号执行是其中两种有效的方法。污点分析是一种数据流分析方法,...
基于关键路径覆盖的二进制程序测试技术研究
论文摘要随着信息时代的到来,计算机软件被广泛应用到社会各个领域,由软件安全漏洞带来的各种危害也日益严重。二进制作为软件的最终表现形式,是软件安全的理想研究对象,但目前二进制漏洞...