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.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+b7	121,8 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]
s390x	1.2.1-2+b8	129,3 ko	478,0 ko	[liste des fichiers]