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

• 作者: 张丽萍 徐路路 郭越
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 静态分析 速度重比重静态分析工具 层次式分析 警告程序切片 SAT求解器
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 软件工程
• 页码范围: 58-61,65
• 页数: 5页
• 分类号: TP311
• 字数: 3819字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2013.09.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张丽萍	内蒙古师范大学计算机与信息工程学院	66	435	11.0	18.0
2	郭越	内蒙古大学电子信息工程学院	3	4	1.0	2.0
3	徐路路	内蒙古师范大学计算机与信息工程学院	1	0	0.0	0.0