[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#557071: marked as done (RFP: stanse -- An automatic bug-finding tool for C)

Your message dated Sat, 13 Aug 2016 09:57:35 +0000
with message-id <E1bYVh9-0005nE-EU@quantz.debian.org>
and subject line closing RFP: stanse -- An automatic bug-finding tool for C
has caused the Debian Bug report #557071,
regarding RFP: stanse -- An automatic bug-finding tool for C
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
557071: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=557071
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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.

--- End Message ---
--- Begin Message --- 
RFP 557071 has no visible progress for a long time, so closing.

--- End Message ---
Reply to: