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

摘要

为了提高以速度为重比重的静态分析工具输出结果的精确度和可信度,提出一种层次式静态检测方法.第一层次选取速度重比重的静态分析工具并产生检测的初始输出结果;第二层次以初始检测结果的警告信息为依据提取程序切片,然后将警告程序切片形式化抽象成布尔公式通过SAT求解器求解确定警告切片的真假性,综合第一层次和第二层次的分析结果提高分析工具的精确度.实验结果表明该方法能够从一定程度上提高分析工具的精确度和可信度,并能有效减少误报.