[ 源代码: sparse ]
软件包: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 编译器
-
- dep: libc6 (>= 2.4)
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
-
- dep: libsqlite3-0 (>= 3.24.0)
- SQLite 3 共享库
-
- dep: libxml2 (>= 2.7.4)
- GNOME XML 库
-
- dep: perl
- 拉里 沃尔的实用报表提取语言(Perl)
-
- sug: sparse-test-inspect
- semantic parser of source files