期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
PHP程序污点型漏洞静态检测方法 被引量:9
1
作者 麻荣宽 魏强 武泽慧 《计算机工程与应用》 CSCD 北大核心 2018年第1期64-69,共6页
针对基于PHP语言开发的Web应用程序产生的污点型漏洞,提出一种静态代码分析检测的方法。提出的生成控制流图的算法,基于PHP内置函数解析PHP程序,生成抽象解析树,进而生成控制流图;对内置特征、入口点和敏感点进行建模,精确分析数据流;... 针对基于PHP语言开发的Web应用程序产生的污点型漏洞,提出一种静态代码分析检测的方法。提出的生成控制流图的算法,基于PHP内置函数解析PHP程序,生成抽象解析树,进而生成控制流图;对内置特征、入口点和敏感点进行建模,精确分析数据流;提出基于有效路径的污点分析方法,提高了分析的准确性,实现了基于变量回溯的路径遍历算法。实现了该方法的原型系统,并对两个广泛使用的PHP应用程序进行测试,发现了6个未公开漏洞和11个已公开漏洞,证明了该系统具有较强的漏洞检测能力。 展开更多
关键词 抽象解析树 控制流图 污点型漏洞 路径遍历 污点分析
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部