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

• 作者: 武泽慧 魏强 麻荣宽
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 抽象解析树 控制流图 污点型漏洞 路径遍历 污点分析
• 年，卷（期）: 2018,（1）
• 所属期刊栏目: 理论与研发
• 页码范围: 64-69
• 页数: 6页
• 分类号: TP393.1
• 字数: 5281字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1608-0258

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏强		20	138	7.0	11.0
2	武泽慧		5	42	4.0	5.0
3	麻荣宽		1	5	1.0	1.0