C程序非法计算缺陷的静态检测

• 作者: 董玉坤
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 缺陷检测 非法计算 静态分析 抽象内存模型
• 年，卷（期）: 2016,（19）
• 所属期刊栏目: 理论与研发
• 页码范围: 31-36
• 页数: 6页
• 分类号: TP311.5
• 字数: 6016字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1512-0094

摘要

为实现基于静态分析技术自动的检测C程序中的非法计算缺陷，提出了一种基于区域内存模型进行非法计算缺陷检测的方法。对C程序中的非法计算缺陷操作归纳总结出其受限集，以对相应运算进行约束；通过抽象的区域内存模型表示实际的内存存储，实现了基于抽象内存区域内存模型的数据流分析；基于数据流分析的结果，判定C程序中的受限操作是否违背受限集的约束，以实现非法计算缺陷的检测。5个实际工程的检测结果分析表明，该方法可有效地检测出C程序的各类非法计算缺陷。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董玉坤	中国石油大学华东计算机与通信工程学院	5	28	2.0	5.0