./devel/sparse, Semantic parser for C

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

Branch: pkgsrc-2017Q2, Version: 0.4.4nb4, Package name: sparse-0.4.4nb4, 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.

Master sites:

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

Version history: (Expand)