套件:sparse(0.6.3-2)
semantic parser of source files
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.
其他與 sparse 有關的套件
|
|
|
|
-
- dep: gcc-10
- GNU C compiler
-
- dep: libc6 (>= 2.17)
- GNU C 函式庫:共用函式庫
同時作為一個虛擬套件由這些套件填實: libc6-udeb
-
- dep: libsqlite3-0 (>= 3.24.0)
- SQLite 3 shared library
-
- dep: libxml2 (>= 2.7.4)
- GNOME XML library
-
- dep: perl
- Larry Wall's Practical Extraction and Report Language
-
- sug: sparse-test-inspect
- semantic parser of source files