[no description] https://git.osdyson.ru/mirror/pkgsrc/atom?h=pkgsrc_2008Q1 2007-06-12T14:48:33Z 2007-06-12T14:48:33Z joerg joerg 2007-06-12T14:48:33Z urn:sha1:4b1625a0d69f646f9be018405d9cb0701b317f6f 2007-05-21T20:46:43Z reed reed 2007-05-21T20:46:43Z urn:sha1:4b034096c9a39bccfb805b31a8b4b1f5a2354f6d 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.