输入验证漏洞检测中的疑点标记和传播方法研究

摘要：

研究基于静态污点分析技术可用于输入验证漏洞检测的疑点分析方法以及疑点标记和疑点传播路径问题，定义疑点源、疑点传播路径概念和疑点属性的4个状态，制定疑点属性状态间的转换规则，设计疑点源标记与疑点传播路径获取算法。实验结果表明，该方法能够较准确地标记程序中的疑点源并获取其在程序中的传播路径。

关键词：输入验证漏洞、漏洞检测、静态分析、传播路径

所属期刊栏目：40

分类号：TP393(计算技术、计算机技术)

资助基金：技术基础项目基金资助72131022；电子工程学院科研基金资助项目KY131546

在线出版日期：2016-06-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：29-36