基于污点状态空间的脆弱性可疑点定位方法

摘要：

针对现有方法在定位效能和适应性方面的不足,提出一种基于污点状态空间的脆弱性可疑点定位方法,在动态污点分析的框架下,建模扩展污点状态机模型,通过离线轨迹文件分析指令执行时的污点状态迁移,同时设计了多类非安全迁移规则,检测并定位脆弱性可疑点.构造原型系统并进行测试的结果表明该方法能在未触发脆弱性的条件下较完备和快速地定位多类脆弱性可疑点.

关键词：污点状态空间、脆弱性可疑点、动态污点分析、状态迁移

所属期刊栏目：32

分类号：TP309.2(计算技术、计算机技术)

资助基金：国家“863”计划资助项目2012AA7111043

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

页数：共5页

页码：232-235,242