Paquet : sparse (0.6.4-4 et autres)

[ 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-13

  compilateur C GNU

• dep: libc6 (>= 2.34)

  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 (>= 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
amd64	0.6.4-4+b1	264,3 ko	1 488,0 ko	[liste des fichiers]
arm64	0.6.4-4+b1	260,0 ko	1 711,0 ko	[liste des fichiers]
armel	0.6.4-4+b1	211,9 ko	1 261,0 ko	[liste des fichiers]
armhf	0.6.4-4+b1	215,7 ko	965,0 ko	[liste des fichiers]
i386	0.6.4-4+b1	269,4 ko	1 436,0 ko	[liste des fichiers]
mips64el	0.6.4-4+b1	262,9 ko	1 924,0 ko	[liste des fichiers]
ppc64el	0.6.4-4+b1	272,2 ko	1 905,0 ko	[liste des fichiers]
s390x	0.6.4-4+b1	263,4 ko	1 635,0 ko	[liste des fichiers]