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

摘要：

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

关键词：缺陷检测、非法计算、静态分析、抽象内存模型

所属期刊栏目：52

分类号：TP311.5(计算技术、计算机技术)

资助基金：山东省自然科学基金No.BS2015DX017；中央高校基本科研业务费专项资金No.15CX02050A；中国博士后科学基金No.2015M581032。

在线出版日期：2016-11-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：31-36