./devel/sparse, Semantic parser for C

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


Branch: pkgsrc-2009Q3, Version: 0.3, Package name: sparse-0.3, 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: 1d868b29234176abd5f3f5463aad1f11d5268dc2
RMD160: 36bb7e5611f56c5b222f33a0853e8315af406704
Filesize: 173.303 KB

Version history: (Expand)