|
|||||
|
|
| C程序非法计算缺陷的静态检测 | |
| 作者单位： | ;1.中国石油大学(华东)计算机与通信工程学院 |
| 摘 要： | 为实现基于静态分析技术自动的检测C程序中的非法计算缺陷,提出了一种基于区域内存模型进行非法计算缺陷检测的方法。对C程序中的非法计算缺陷操作归纳总结出其受限集,以对相应运算进行约束;通过抽象的区域内存模型表示实际的内存存储,实现了基于抽象内存区域内存模型的数据流分析;基于数据流分析的结果,判定C程序中的受限操作是否违背受限集的约束,以实现非法计算缺陷的检测。5个实际工程的检测结果分析表明,该方法可有效地检测出C程序的各类非法计算缺陷。 |
| 关 键 词： | 缺陷检测 非法计算 静态分析 抽象内存模型 |
Illegal computing defect detection by static analysis for C program |
|
| Abstract: | |
| Keywords: | |