基于静态检测工具的源代码安全缺陷检测研究  

Research on source code safety defects based on static test tools

作　　者：李晓南[1] 范明钰[1] 王光卫[1] 

机构地区：[1]电子科技大学计算机科学与工程学院信息安全系,成都611731

出　　处：《计算机应用研究》2011年第8期2997-2998,3021,共3页Application Research of Computers

基　　金：国家"863"计划资助项目(2009AA01Z435;2009AA01Z403)

摘　　要：针对已有的使用单个静态检测工具进行源代码安全缺陷检测存在的漏报率和误报率很高的问题,提出了一种基于多种静态检测工具的检测方法。该方法通过对多种工具的检测结果进行统计分析,有效地降低了漏报率和误报率。设计和实现了一个可扩展的源代码静态分析工具平台,并通过实验表明,相对于单个工具的检测结果而言,该平台明显降低了漏报率和误报率。To cope with the problem of high false negatives and false positives in source code static analysis methods with a static test tool,this paper presented a static analysis detection method for safety defects detection based on several static test tools.This method made statistical analysis on the outcome of different static test tools,which greatly decreased the false negatives and false positives.It designed and implemented a scalable source code static analysis tool platform,and it was proved by experiment that this platform has a better performance with lower false negatives and false positives compared with one single static test tool.

关 键 词：静态检测工具 源代码 安全缺陷 统计分析 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构]