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

Bug#731349: ITP: sparse -- Semantic parser for C



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.


Reply to: