内存泄漏检测工具Melton
功能：
本工具采用路径敏感的符号执行技术，能自动化的分析C程序中可能存在的内存泄
漏的错误。
特点：
支持指针、结构体等复杂C程序特性的处理
支持跨函数过程的分析
支持多文件的分析
自动化的分析和提取C工程的编译过程
清晰的错误报告方式
分析的程序规模可达到十几万行。
应用及实例：
分析wget、which等开源工程，检测出一些内存泄漏错误，并得到开发者的认可。
分析SPEC CPU2000的部分程序，检测出一些内存泄漏错误。
该工具已交由上海市计算机软件评测重点实验室试用。
|
|