路径敏感的函数特征在检测内存泄漏中的应用
本文针对内存泄漏提出了路径敏感的过程间静态测试方法，旨在减少函数调用中条件分配或释放内存引起的误报。本文首先分析了一个产生该类误报的例子；然后定义了路径敏感函数特征(PSF)的四元组模型，并定义且描述了辅助生成路径信息的过程间定义使用向量；在模型和向量定义的基础上，利用控制流图和抽象语法树，给出了PSF的生成算法，并讨论了其在函数间的传递及在缺陷检测中的应用。最后本文通过实例应用说明了此方法的分析过程。
软件开发 内存泄漏 静态测试 函数分配
Xiang Wentao 向文韬 Jin Dahai 金大海 Gong Yunzhan 宫云战
State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecom 北京邮电大学网络与交换技术国家重点实验室, 北京100876
国内会议
杭州
中文
122-126
2012-06-23（万方平台首次上网日期，不代表论文的发表时间）