PHP程序污点型漏洞静态检测方法

摘要：

针对基于PHP语言开发的Web应用程序产生的污点型漏洞,提出一种静态代码分析检测的方法.提出的生成控制流图的算法,基于PHP内置函数解析PHP程序,生成抽象解析树,进而生成控制流图;对内置特征、入口点和敏感点进行建模,精确分析数据流;提出基于有效路径的污点分析方法,提高了分析的准确性,实现了基于变量回溯的路径遍历算法.实现了该方法的原型系统,并对两个广泛使用的PHP应用程序进行测试,发现了6个未公开漏洞和11个已公开漏洞,证明了该系统具有较强的漏洞检测能力.

关键词：抽象解析树、控制流图、污点型漏洞、路径遍历、污点分析

所属期刊栏目：54

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

资助基金：国家高技术研究发展计划8632012AA012902

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

页数：共6页

页码：64-69