基于最弱前置条件的静态分析误报消除技术

• 作者: 陈杰
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 静态分析 误报消除 最弱前置条件 数组访问越界 空指针解引用
• 年，卷（期）: 2012,（33）
• 所属期刊栏目: 博士论坛
• 页码范围: 1-4,33
• 页数: 5页
• 分类号: TP311.1
• 字数: 4890字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1207-0463

摘要

针对程序静态分析技术误报过多的问题,提出一种基于最弱前置条件的静态分析误报消除方法.根据不同的软件安全性质,从目标状态出发,以需求驱动的方式得到过程起始位置的最弱前置条件,判断该条件公式的可满足性来消除误报.将该方法实例化来消除静态分析工具检测数组访问越界和空指针解引用的误报,实验结果表明该方法是有效且实用的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈杰	国防科学技术大学计算机学院并行与分布处理国家重点实验室	4	5	2.0	2.0