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

Bug#731349: marked as done (ITP: sparse -- Semantic parser for C)

Your message dated Wed, 4 Dec 2013 14:14:44 +0000
with message-id <20131204141444.GV29268@sirena.org.uk>
and subject line Re: Bug#731349: ITP: sparse -- Semantic parser for C
has caused the Debian Bug report #731349,
regarding ITP: sparse -- Semantic parser 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.)


-- 
731349: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731349
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Mark Brown <broonie@debian.org>

* Package name    : sparse
  Version         : 0.4.5
  Upstream Author : Christopher Li <sparse@chrisli.org>
* URL             : https://sparse.wiki.kernel.org/index.php/Main_Page
* License         : MIT
  Programming Lang: C
  Description     : Semantic parser for C

Sparse, the semantic parser, provides a compiler frontend capable of
parsing most of ANSI C as well as many GCC extensions, and a collection
of sample compiler backends, including a static analyzer also called
"sparse". Sparse provides a set of annotations designed to convey
semantic information about types, such as what address space pointers
point to, or what locks a function acquires or releases.

Sparse used to be licensed under a non-free license but has recently
been relicensed under a MIT license.

--- End Message ---
--- Begin Message --- 
On Wed, Dec 04, 2013 at 03:10:16PM +0100, Mathieu Malaterre wrote:

> http://packages.qa.debian.org/s/sparse.html

Ah, totally missed that (don't have non-free locally and while I do now
recall seeing it in the past it's always been far too outdated to be
useful).

Attachment: signature.asc
Description: Digital signature


--- End Message ---
Reply to: