Paquet : sparse (0.6.4-4 et autres) [debports]

[ Paquet source :  ]

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.

Autres paquets associés à sparse

• dep: gcc-13

  compilateur C GNU

• dep: libc6.1 (>= 2.37)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6.1-udeb

• dep: libsqlite3-0 (>= 3.24.0)

  Bibliothèque partagée SQLite 3

• dep: libxml2 (>= 2.7.4)

  Bibliothèque XML GNOME

• dep: perl

  langage de rapports et d'extractions pratiques de Larry Wall

• sug: sparse-test-inspect

  semantic parser of source files

Télécharger sparse

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
ia64 (portage non officiel)	0.6.4-4+b1	289,1 ko	2 665,0 ko	[liste des fichiers]