[ 原始碼: sparse ]
套件:sparse(0.6.0-3)
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-8
- GNU C compiler
-
- dep: libc6 (>= 2.14)
- GNU C 函式庫:共用函式庫
同時作為一個虛擬套件由這些套件填實: libc6-udeb
-
- dep: libllvm7 (>= 1:7~svn298832-1~)
- Modular compiler and toolchain technologies, runtime 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