Bug#557071: RFP: stanse -- An automatic bug-finding tool for C

["giagimari\@libero\.it" <giagimari@libero.it>]

Package: wnpp
Severity: wishlist

Website:
http://stanse.fi.muni.cz/index.html

License:
The tool is released under the GNU GPLv2.

Sources:
http://stanse.fi.muni.cz/download.html

Features:
- Error-finding tool based on static analysis.
- Target language is C (ANSI C99), but extensible to C#/C++/Java.
- Full ANSI C99 support, including most GNU C extensions.
- Modular structure, easy extensibility, fast development.
- Easy to use interface and error path inspection.
- Makefile support and batch execution.

Errors detected:
- Memory allocation errors (null pointers, memory leaks, dangling pointers)
- Bad locking discipline (double locks/unlocks, locks not released etc.)
- Interrupt handling (cli/sti-style).
- And all the errors which can be described by state automata.