计算机工程与应用2016，Vol.52Issue(22)：9-14,104,7.DOI:10.3778/j.issn.1002-8331.1604-0140
基于属性可靠分析的空指针引用缺陷检测
Null pointer dereference defects detection based on property sound analysis
摘要
Abstract
In order to fully detect null pointer dereference defects for C procedures based on static analysis, this paper introduces a method based on property sound analysis. Firstly, defect pattern and feature of null pointer dereference are introduced. Then, the property sound analysis theory is proposed to detect null pointer dereference defects, and the point property of pointers is abstracted as attribute lattice. Through an abstract memory model and transfer function of each kind of statement, point-to property of each pointer can be get soundly, and null pointer dereference defects detection can be realized based on the point-to property of each referenced pointer. Experiment results of five real projects show that this method can fully detect null pointer dereference defects.关键词
缺陷检测/缺陷模式/空指针引用/属性可靠分析Key words
defect detection/defect pattern/null pointer dereference/property sound analysis分类
信息技术与安全科学引用本文复制引用
董玉坤..基于属性可靠分析的空指针引用缺陷检测[J].计算机工程与应用,2016,52(22):9-14,104,7.基金项目
山东省自然科学基金（No.BS2015DX017）；中央高校基本科研业务费专项资金（No.15CX02050A）。 （）
