10.3969/j.issn.2095-2783.2014.10.009
一种多敏感空指针引用错误的静态检测方法
空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误，结合传统静态分析方法和符号执行方法，提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分析方法。对全局指针、局部指针以及函数的指针类参数进行建模，对指针指向地址进行简化分类。在函数间传递指针的指向状态，在函数内遍历路径，使用约束求解的方式判定路径可达性，当函数分析结束后，在退出点进行指针状态信息合并，以减少漏报和误报。在此基础上，使用人工标注错误触发条件的方式进一步提高分析效率，减少漏报和误报。实验证明，该方法能够高效地检测出各类空指针引用错误。
软件工程、空指针、静态分析、约束求解、符号执行
TP311(计算技术、计算机技术)
2014-11-28（万方平台首次上网日期，不代表论文的发表时间）
共6页
1131-1136
