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

[ Paquet source : vera++  ]

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++

• dep: libboost-program-options1.74.0 (>= 1.74.0)

  bibliothèque d'options de programmes pour C++

• dep: libboost-wave1.74.0 (>= 1.74.0)

  bibliothèque de préprocesseur C99/C++

• dep: libc6 (>= 2.14) [amd64]

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

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.4) [non amd64, arm64, ppc64el]

• 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 (>= 5.2) [armel, armhf]

  bibliothèque standard C++ de GNU v3

  dep: libstdc++6 (>= 9) [non armel, armhf]

• 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+b7	129,1 ko	466,0 ko	[liste des fichiers]
arm64	1.2.1-2+b6	120,2 ko	454,0 ko	[liste des fichiers]
armel	1.2.1-2+b7	112,4 ko	405,0 ko	[liste des fichiers]
armhf	1.2.1-2+b7	114,2 ko	341,0 ko	[liste des fichiers]
i386	1.2.1-2+b7	137,5 ko	469,0 ko	[liste des fichiers]
mips64el	1.2.1-2+b5	119,5 ko	523,0 ko	[liste des fichiers]
mipsel	1.2.1-2+b7	120,4 ko	495,0 ko	[liste des fichiers]
ppc64el	1.2.1-2+b6	132,5 ko	554,0 ko	[liste des fichiers]
s390x	1.2.1-2+b7	118,8 ko	474,0 ko	[liste des fichiers]