./devel/sparse, Semantic parser for C

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: pkgsrc-2014Q2, Version: 0.4.4nb2, Package name: sparse-0.4.4nb2, Maintainer: reed

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.

Linus Torvalds started writing Sparse in 2003, initially targeting
issues such as mixing pointers to user address space and pointers
to kernel address space.


Required to run:
[lang/perl5]

Master sites:

SHA1: 89e74aa638d3b44b0d155ab44edd2165d66c60ab
RMD160: 06af3de3350d5c81db3902fb38f5331d20c8a406
Filesize: 173.977 KB

Version history: (Expand)