eLxr packages [ bianca ]
[ ソース: sparse ]
パッケージ: sparse (0.6.4-5)
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-14
- GNU C compiler
-
- dep: libc6 (>= 2.38)
- GNU C Library: Shared libraries
以下のパッケージによって提供される仮想パッケージでもあります: 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