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

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

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