基于静态信息流跟踪的输入验证漏洞检测方法
来源：浙江大学学报·工学版杂志2015年第4期北京时间：
作者：万志远, 周波
单位：浙江大学 计算机科学与技术学院,浙江 杭州 310027
摘要：针对基于静态分析的漏洞检测技术的高误报率问题,提出基于静态信息流跟踪技术的输入验证漏洞检测方法. 在静态代码分析工具FindBugs上实现了该方法,对该方法的漏洞检测精确度和性能进行评估. 实验结果表明,采用该方法能够有效地检测输入验证漏洞,在不明显降低运行性能的前提下,将FindBugs的输入验证漏洞检测误报率降低了55.7%.
关键词：
