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:

News

2012-02-28 Improve the bug reporter.
2012-08-28 Online Demo is available.

Tutorial


Online Demo


Downloads

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)

Publications


Bugs Found by Melton



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