基于静态信息流跟踪的输入验证漏洞检测方法

• 作者: 万志远 周波
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 漏洞检测 静态分析 信息流跟踪 数据流分析 输入验证 FindBugs Web应用程序
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 自动化技术、通信工程
• 页码范围: 683-691
• 页数: 9页
• 分类号: TP309
• 字数: 7858字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2015.04.011

摘要

针对基于静态分析的漏洞检测技术的高误报率问题，提出基于静态信息流跟踪技术的输入验证漏洞检测方法．在静态代码分析工具FindBugs上实现了该方法，对该方法的漏洞检测精确度和性能进行评估．实验结果表明，采用该方法能够有效地检测输入验证漏洞，在不明显降低运行性能的前提下，将 FindBugs的输入验证漏洞检测误报率降低了55．7％．

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周波	浙江大学计算机科学与技术学院	38	289	10.0	16.0
2	万志远	浙江大学计算机科学与技术学院	3	8	1.0	2.0