Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: vera++  ]

Paket: vera++ (1.2.1-2 und andere)

Links für vera++

Screenshot

Debian-Ressourcen:

Quellcode-Paket vera++ herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

Programmable verification and analysis tool for C++

Vera++ is a programmable tool for verification, analysis and transformation of C++ source code. Vera++ is mainly an engine that parses C++ source files and presents the result of this parsing to scripts in the form of various collections - the scripts are actually performing the requested tasks.

Andere Pakete mit Bezug zu vera++

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

vera++ herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
mips64el 1.2.1-2+b5 119,5 kB523,0 kB [Liste der Dateien]