路径敏感的函数特征在检测内存泄漏中的应用

摘要

本文针对内存泄漏提出了路径敏感的过程间静态测试方法,旨在减少函数调用中条件分配或释放内存引起的误报.本文首先分析了一个产生该类误报的例子；然后定义了路径敏感函数特征(PSF)的四元组模型,并定义且描述了辅助生成路径信息的过程间定义使用向量；在模型和向量定义的基础上,利用控制流图和抽象语法树,给出了PSF的生成算法,并讨论了其在函数间的传递及在缺陷检测中的应用.最后本文通过实例应用说明了此方法的分析过程.