一种多敏感空指针引用错误的静态检测方法

摘要

空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误，结合传统静态分析方法和符号执行方法，提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分析方法。对全局指针、局部指针以及函数的指针类参数进行建模，对指针指向地址进行简化分类。在函数间传递指针的指向状态，在函数内遍历路径，使用约束求解的方式判定路径可达性，当函数分析结束后，在退出点进行指针状态信息合并，以减少漏报和误报。在此基础上，使用人工标注错误触发条件的方式进一步提高分析效率，减少漏报和误报。实验证明，该方法能够高效地检测出各类空指针引用错误。