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. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
