[发明专利]一种充分检测空指针引用缺陷的方法

摘要

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

主权项

一种充分检测空指针引用缺陷的方法，其特征在于，所述方法包括：读取被测应用文件，对被测应用进行词法分析和语法分析，生成被测应用的抽象语法树，根据所述抽象语法树生成反映被测应用控制结构的控制流图，并根据所述抽象语法树创建被测应用的符号表系统及类型系统，基于抽象语法树识别出被测应用的全部可寻址表达式；根据所述控制流图对被测应用进行保守的区间运算与指针分析，并根据区间运算与指针分析的结果，生成函数摘要；根据所述函数摘要以及抽象语法树识别出全部的指针引用以及被引用的指针，并对每个被引用的指针创建空指针引用缺陷状态机实例；基于所述控制流图运行空指针引用缺陷状态机实例，对于所述控制流图的每个节点，根据区间运算、指针分析的结果对每个缺陷状态机实例分别进行状态迁移，并确定空指针引用集合、安全指针引用集合、不确定的指针引用集合。