一种充分检测空指针引用缺陷的方法

摘要

本发明公开了一种充分检测空指针引用缺陷的方法，包括：基于抽象语法树识别出被测应用的全部可寻址表达式；根据控制流图对被测应用进行保守的区间运算与指针分析并根据区间运算与指针分析的结果，生成函数摘要；根据所述函数摘要以及抽象语法树识别出全部的指针引用以及被引用的指针，并对每个被引用的指针创建空指针引用缺陷状态机实例；基于控制流图运行空指针引用缺陷状态机实例，在控制流图的每个节点上，根据区间运算、指针分析的结果对每个缺陷状态机实例进行状态迁移，进行空指针引用检测。采用本发明，能有效解决空指针引用缺陷的漏报问题，实现空指针引用缺陷检测零漏报及低误报。