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

Package: wnpp; Maintainer for wnpp is wnpp@debian.org;

Reported by: "giagimari\@libero\.it" <giagimari@libero.it>

Date: Thu, 19 Nov 2009 10:18:05 UTC

Severity: wishlist

Reply or subscribe to this bug.

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to debian-bugs-dist@lists.debian.org, <wnpp@debian.org>:
Bug#557071; Package wnpp. (Thu, 19 Nov 2009 10:18:08 GMT) Full text and rfc822 format available.

Acknowledgement sent to "giagimari\@libero\.it" <giagimari@libero.it>:
New Bug report received and forwarded. Copy sent to <wnpp@debian.org>. (Thu, 19 Nov 2009 10:18:08 GMT) Full text and rfc822 format available.

Message #5 received at submit@bugs.debian.org (full text, mbox):

From: "giagimari\@libero\.it" <giagimari@libero.it>
To: "submit" <submit@bugs.debian.org>
Subject: RFP: stanse -- An automatic bug-finding tool for C
Date: Thu, 19 Nov 2009 11:14:53 +0100
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.





Owner recorded as starswifter@gmail.com. Request was from Morten Sørensen <starswifter@gmail.com> to control@bugs.debian.org. (Thu, 19 Nov 2009 11:48:10 GMT) Full text and rfc822 format available.

Changed Bug title to 'ITP: stanse -- An automatic bug-finding tool for C' from 'RFP: stanse -- An automatic bug-finding tool for C' Request was from Morten Sørensen <starswifter@gmail.com> to control@bugs.debian.org. (Thu, 19 Nov 2009 11:48:11 GMT) Full text and rfc822 format available.

Added blocking bug(s) of 557071: 544637 Request was from Morten Sørensen <starswifter@gmail.com> to control@bugs.debian.org. (Fri, 20 Nov 2009 15:21:06 GMT) Full text and rfc822 format available.

Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, starswifter@gmail.com:
Bug#557071; Package wnpp. (Sat, 19 Feb 2011 17:47:07 GMT) Full text and rfc822 format available.

Acknowledgement sent to Lucas Nussbaum <lucas@debian.org>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org, starswifter@gmail.com. (Sat, 19 Feb 2011 17:47:07 GMT) Full text and rfc822 format available.

Message #16 received at 557071@bugs.debian.org (full text, mbox):

From: Lucas Nussbaum <lucas@debian.org>
To: 557071@bugs.debian.org
Cc: control@bugs.debian.org
Subject: stanse: changing back from ITP to RFP
Date: Sat, 19 Feb 2011 17:06:38 +0000
retitle 557071 RFP: stanse -- An automatic bug-finding tool for C
noowner 557071
thanks

Hi,

This is an automatic email to change the status of stanse back from ITP
(Intent to Package) to RFP (Request for Package), because this bug hasn't seen
any activity during the last 6 months.

If you are still interested in adopting stanse, please send a mail to
<control@bugs.debian.org> with:

 retitle 557071 ITP: stanse -- An automatic bug-finding tool for C
 owner 557071 !
 thanks

However, it is not recommended to keep ITP for a long time without acting on
the package, as it might cause other prospective maintainers to refrain from
packaging that software. It is also a good idea to document your progress on
this ITP from time to time, by mailing <557071@bugs.debian.org>.

Thank you for your interest in Debian,
-- 
Lucas, for the QA team <debian-qa@lists.debian.org>




Changed Bug title to 'RFP: stanse -- An automatic bug-finding tool for C' from 'ITP: stanse -- An automatic bug-finding tool for C' Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Sat, 19 Feb 2011 17:53:04 GMT) Full text and rfc822 format available.

Removed annotation that Bug was owned by starswifter@gmail.com. Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Sat, 19 Feb 2011 17:53:04 GMT) Full text and rfc822 format available.

Send a report that this bug log contains spam.


Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Wed Apr 23 07:33:43 2014; Machine Name: buxtehude.debian.org

Debian Bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.