Paquet : vera++ (1.2.1-2 et autres)

Liens pour vera++

Ressources Debian :

Télécharger le paquet source vera++ :

Responsable :

Vincent Hobeïka (Page QA)

Ressources externes :

Page d'accueil [bitbucket.org]

Paquets similaires :

outil programmable de vérification et d’analyse pour C++

Vera++ est un outil programmable pour la vérification, l’analyse et la transformation de code source C++. Vera++ est principalement un moteur qui analyse des fichiers source C++ et présente le résultat de cette analyse à des scripts sous forme d’ensembles divers – les scripts assurent effectivement les tâches demandées.

Autres paquets associés à vera++

dépendances

recommandations

suggestions

enhances

dep: libboost-program-options1.83.0 (>= 1.83.0)

bibliothèque d'options de programmes pour C++
dep: libboost-wave1.83.0 (>= 1.83.0)

bibliothèque de préprocesseur C99/C++
dep: libc6 (>= 2.34)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc-s1 (>= 3.0) [non armel, armhf]

bibliothèque de prise en charge de GCC

dep: libgcc-s1 (>= 3.5) [armel, armhf]
dep: libstdc++6 (>= 13.1)

bibliothèque standard C++ de GNU v3
dep: libtcl8.6 (>= 8.6.0)

Tcl (the Tool Command Language) v8.6 - run-time library files

Télécharger vera++

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1.2.1-2+b8	133,5 ko	474,0 ko	[liste des fichiers]
arm64	1.2.1-2+b8	121,6 ko	490,0 ko	[liste des fichiers]
armel	1.2.1-2+b8	119,2 ko	429,0 ko	[liste des fichiers]
armhf	1.2.1-2+b8	120,6 ko	357,0 ko	[liste des fichiers]
i386	1.2.1-2+b8	142,0 ko	473,0 ko	[liste des fichiers]
mips64el	1.2.1-2+b6	119,9 ko	574,0 ko	[liste des fichiers]
ppc64el	1.2.1-2+b7	133,5 ko	554,0 ko	[liste des fichiers]
riscv64	1.2.1-2+b2	129,7 ko	406,0 ko	[liste des fichiers]
s390x	1.2.1-2+b8	129,3 ko	478,0 ko	[liste des fichiers]