sparse 0.4.1+git20081218-1 (sparc binary) in ubuntu karmic
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.
.
Sparse can be invoked directly as "sparse" or via the "cgcc" wrapper
around the C compiler.
Details
- Package version:
- 0.4.1+git20081218-1
- Status:
- Obsolete
- Component:
- multiverse
- Priority:
- Optional
Downloadable files
sparc build of sparse 0.4.1+git20081218-1 in ubuntu karmic RELEASE produced
these files:
- sparse_0.4.1+git20081218-1_sparc.deb (473.1 KiB)
Package relationships
- Depends on: