论文研究 基于属性可靠分析的空指针引用缺陷检测.pdf

为实现基于静态分析技术充分地检测出C程序中的空指针引用缺陷，提出了一种基于属性可靠分析的缺陷检测方法。首先介绍了空指针引用缺陷模式及特征。然后针对空指针引用缺陷的检测特点提出了属性可靠分析理论，并将指针的指向属性描述为一个属性格。通过提出的抽象内存模型，基于给出的每种程序语句上的迁移实现指针指向属性的可靠分析，根据得到的每个被引用指针的指向属性进而实现空指针引用缺陷的检测。通过对五个实际工程的检测结果分析表明，方法可充分检测出C程序的空指针引用缺陷。