代码分析中的层次式静态检测方法  

Hierarchical Static Test Method in Code Analysis

作　　者：徐路路[1] 张丽萍[1] 郭越[2] 

机构地区：[1]内蒙古师范大学计算机与信息工程学院,内蒙古呼和浩特010022 [2]内蒙古大学电子信息工程学院,内蒙古呼和浩特010021

出　　处：《计算机与现代化》2013年第9期58-61,65,共5页Computer and Modernization

基　　金：内蒙古自治区自然科学基金资助项目(2010MS0906);内蒙古自治区高等学校科学研究项目(NJZY13048);内蒙古师范大学2012年度研究生科研创新基金资助项目(CXJJS12057)

摘　　要：为了提高以速度为重比重的静态分析工具输出结果的精确度和可信度,提出一种层次式静态检测方法。第一层次选取速度重比重的静态分析工具并产生检测的初始输出结果;第二层次以初始检测结果的警告信息为依据提取程序切片,然后将警告程序切片形式化抽象成布尔公式通过SAT求解器求解确定警告切片的真假性,综合第一层次和第二层次的分析结果提高分析工具的精确度。实验结果表明该方法能够从一定程度上提高分析工具的精确度和可信度,并能有效减少误报。To increase the accuracy and credibility of outputs for static analysis tool of speed heavy proportion,this paper proposes a hierarchical static testing method.In the first level,the static analysis tool of speed heavy proportion is selected to generate the initial outputs of detection.In the second level,the alarm messages of the initial test results are used to extract the program slices.The alarm program slices are formally abstracted into Boolean formula to determine the true-false of slices by the SAT solver.The accuracy of analysis tools is improved by integrating the results of the first level and the second level.The experimental results show that the method can improve the accuracy and credibility of analysis tools in a certainty and can also reduce the false positives effectively.

关 键 词：静态分析 速度重比重静态分析工具 层次式分析 警告程序切片 SAT求解器 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]