软件包:sparse(0.5.0-1 以及其他的)
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: libc6 (>= 2.22)
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
-
- dep: libgcc1 (>= 1:4.2)
- GCC 支持库
-
- dep: libglib2.0-0 (>= 2.16.0)
- C 例程的 GLib 软件库
-
- dep: libgtk2.0-0 (>= 2.8.0)
- GTK+ graphical user interface library
-
- dep: libstdc++6 (>= 5.2)
- GNU 标准 C++ 库,第3版
-
- dep: libtinfo5 (>= 6)
- 用于终端处理的共享底层 terminfo 库
-
- dep: libxml2 (>= 2.7.4)
- GNOME XML 库
-
- dep: perl
- 拉里 沃尔的实用报表提取语言(Perl)