summaryrefslogtreecommitdiff
path: root/devel/sparse
AgeCommit message (Collapse)AuthorFilesLines
2012-10-31Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.asau1-3/+1
2012-10-03Bump all packages that use perl, or depend on a p5-* package, orwiz1-1/+2
are called p5-*. I hope that's all of them.
2009-07-08user-destdir supportjoerg1-4/+6
2009-06-14Remove @dirrm entries from PLISTsjoerg1-3/+1
2007-06-12Fallback to strtod on DragonFly. Limit it until the 2.0 release for now.joerg2-1/+21
2007-05-21Import sparse.reed5-0/+100
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.