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

2013 年第 9 期 计算机与现代化 JISUANJI YU XIANDAIHUA 文章编号: 1∞6剖75 (2013 )09 -OO58 .{)4 代码分析中的层次式静态检测方法 徐路路l ，张丽萍1 ，郭越2 (1.内蒙古师范大学计算机与信息工程学院，内蒙古呼和浩特 010022; 2. 内蒙古大学电子信息工程学院，内蒙古呼和浩特 01∞21) 总第 217 期 摘要:为了提高以速度为重比重的静态分析工具输出结果的精确度和可信度，提出一种层次式静态检测方法。第一层次 选取速度重比重的静态分析工具并产生检测的初始输出结果;第二层次以初始检测结果的警告信息为依据提取程序切 片，然后将警告程序切片形式化抽象成布尔公式通过 SAT 求解器求解确定警告切片的真假性，综合第一层次和第二层次 的分析结果提高分析工具的精确度。实验结果表明该方法能够从一定程度上提高分析工具的精确度和可信度，并能有 效减少误报。 关键词:静态分析;速度重比重静态分析工具;层次式分析;警告程序切片; SAT 求解器 中固分类号:TP311 文献标识码 :A doi: 10.3969/j.issn.l∞6-2475.2013.09.014 Hierarchical Static Test Method in Code Analysis XU Lu-lu l , ZHANG Li-ping l , GUO Yue 2 ( 1. College of Computer and Information Engineeri吨， Inner Mongolia Normal University , Hohhot 01∞22 ， China; 2. College of Electronic Information Engineeri吨， Inner Mongolia University , Hohhot 01∞21 ， China) Abstract: To increase the accuracy and credibility of outputs for static analysis tool of speed heavy proportion , this paper propo- ses a hierarchical static testing method. In the first level , the static analysis tool of speed heavy propo此ion 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 sol- ver. 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. Key words: static analysis; static analysis tool of speed heavy proportion; hierarchical analysis; alarm program slice; SAT solver 。引 静态分析[IJ 是指在不运行软件的前提下进行分 析的过程。静态分析的对象一般是程序源代码，或是 二进制代码。静态分析技术的缺陷检测工具的使 用[2J 分为 2 个阶段:静态分析和人工审查。静态分析 用于代码的自动缺陷分析检测。人工审查用于评估 分析工具检测结果的精确度。理想的静态缺陷检测 分析工具不仅应该具备理想的检测精度，还应具有理 收稿日期 :2013 -05-14 想的检测效率。为了提高分析工具的精度，即降低输 出结果