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.
News
2012-02-28 Improve the bug reporter.
2012-08-28 Online Demo is available.
Downloads
x86 32bit downloads:
Binary package for debian x86 32bit (built in ubuntu 11.10 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)
Publications
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.
People
Copyright
Copyright (c) Institute of Software, Chinese Academy of Sciences. All rights reserved.
This tool should not be used for any commercial purpose.
Related Links
The LLVM Compiler Infrastructure
Clang: A C language family frontend for LLVM
Clang Static Analyzer
Last Modified: 2012-08-28