Paket: sparse (0.6.4-3)

Links für sparse

Debian-Ressourcen:

Quellcode-Paket sparse herunterladen:

Betreuer:

Uwe Kleine-König (QS-Seite)

Externe Ressourcen:

Homepage [sparse.wiki.kernel.org]

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.

Markierungen: Software-Entwicklung: Code-Erzeugung, Implementiert in: C, Benutzer-Schnittstellen: interface::commandline, role::program, Zweck: Hilfswerkzeug

Andere Pakete mit Bezug zu sparse

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: gcc-12

Der GNU-C-Compiler
dep: libc6 (>= 2.34)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libgcc-s1 (>= 3.4)

GCC Support-Bibliothek
dep: libllvm14

Modulare Techniken für Compiler und Toolchains, Laufzeitbibliothek
dep: libsqlite3-0 (>= 3.24.0)

Laufzeit-Bibliothek für SQLite 3
dep: libxml2 (>= 2.7.4)

GNOME-XML-Bibliothek
dep: perl

Larry Wall's Practical Extraction und Report Language

sug: sparse-test-inspect

semantic parser of source files

sparse herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	304,4 kB	1.986,0 kB	[Liste der Dateien]