Melton: A static memory leak detector for C programs
Melton is a static memory leak detector for C programs,
which is implemented on Clang Static Analyzer.
Currently, Clang Static Analyzer only performs an intraprocedural path-sensitive analysis.
We extended it to support interprocedural analysis by using summary-based approach.
Key features of Melton include:
Precise analysis using interprocedural path-sensitive symbolic simulation;
Scalable detection using summary-based analysis;
A helpful bug reporter that identifies calling trace of allocation sites and path segments that lead to memory leak.
2012-02-28 Improve the bug reporter.
2012-08-28 Online Demo is available.
x86 32bit downloads:
Binary package for debian x86 32bit (built in ubuntu 12.04 x86 32bit)
Binary package for rpm x86 32bit (built in CentOS 6.2 x86 32bit)
x86 64bit downloads:
Binary package for debian x86 64bit (built in ubuntu 11.10 x86 64bit)
Binary package for rpm x86 64bit (built in CentOS 6.0 x86 64bit)
Bugs Found by Melton
10 bugs in wget were confirmed and fixed.
21 bugs in libosip were confirmed and fixed.
2 bugs in sqlite were confirmed and fixed.
Copyright (c) Institute of Software, Chinese Academy of Sciences. All rights reserved.
This tool should not be used for any commercial purpose.
The LLVM Compiler Infrastructure
Clang: A C language family frontend for LLVM
Clang Static Analyzer
Last Modified: 2012-08-28