论文研究 PHP程序污点型漏洞静态检测方法.pdf

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