fc02787c53
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.
26 lines
633 B
Text
26 lines
633 B
Text
@comment $NetBSD: PLIST,v 1.1.1.1 2007/05/21 20:46:43 reed Exp $
|
|
bin/cgcc
|
|
bin/sparse
|
|
include/sparse/allocate.h
|
|
include/sparse/bitmap.h
|
|
include/sparse/compat.h
|
|
include/sparse/dissect.h
|
|
include/sparse/expression.h
|
|
include/sparse/flow.h
|
|
include/sparse/ident-list.h
|
|
include/sparse/lib.h
|
|
include/sparse/linearize.h
|
|
include/sparse/parse.h
|
|
include/sparse/ptrlist.h
|
|
include/sparse/scope.h
|
|
include/sparse/storage.h
|
|
include/sparse/symbol.h
|
|
include/sparse/target.h
|
|
include/sparse/token.h
|
|
lib/libsparse.a
|
|
lib/pkgconfig/sparse.pc
|
|
share/doc/sparse/FAQ
|
|
share/doc/sparse/LICENSE
|
|
share/doc/sparse/README
|
|
@dirrm include/sparse
|
|
@dirrm share/doc/sparse
|