Paquet : sparse (0.6.5~rc1-1)

[ Paquet source : sparse  ]

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.

Étiquettes: Développement de logiciel: Génération de code, Mis en œuvre en: C, Interface utilisateur: interface::commandline, role::program, Champ d'application: Utilitaire

Autres paquets associés à sparse

• dep: gcc-15

  compilateur C GNU

• dep: libc6 (>= 2.38)

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

• dep: libsqlite3-0 (>= 3.24.0)

  Bibliothèque partagée SQLite 3

• dep: libxml2-16 (>= 2.14.1)

  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	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	271,6 ko	1 523,0 ko	[liste des fichiers]
arm64	261,4 ko	1 712,0 ko	[liste des fichiers]
armhf	218,2 ko	1 039,0 ko	[liste des fichiers]
i386	272,9 ko	1 454,0 ko	[liste des fichiers]
ppc64el	296,1 ko	2 096,0 ko	[liste des fichiers]
riscv64	288,0 ko	1 428,0 ko	[liste des fichiers]
s390x	268,4 ko	1 644,0 ko	[liste des fichiers]