PHP程序污点型漏洞静态检测方法
来源：计算机工程与应用杂志2018年第1期北京时间：
作者：麻荣宽，魏 强，武泽慧
单位：解放军信息工程大学，郑州 450001
摘要：针对基于PHP语言开发的Web应用程序产生的污点型漏洞，提出一种静态代码分析检测的方法。提出的生成控制流图的算法，基于PHP内置函数解析PHP程序，生成抽象解析树，进而生成控制流图；对内置特征、入口点和敏感点进行建模，精确分析数据流；提出基于有效路径的污点分析方法，提高了分析的准确性，实现了基于变量回溯的路径遍历算法。实现了该方法的原型系统，并对两个广泛使用的PHP应用程序进行测试，发现了6个未公开漏洞和11个已公开漏洞，证明了该系统具有较强的漏洞检测能力。
关键词：抽象解析树,控制流图,污点型漏洞,路径遍历,污点分析
