Paket: vera++ (1.3.0-2)

[ Quellcode: vera++  ]

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

• dep: libboost-filesystem1.90.0 (>= 1.90.0)

  Dateisystemoperationen (portable Pfade, Iterationen über Verzeichnisse, usw.) in C++

• dep: libboost-program-options1.90.0 (>= 1.90.0)

  C++-Bibliothek für Programmoptionen

• dep: libboost-python1.90.0 (>= 1.90.0)

  Die Bibliothek Boost.Python

• dep: libboost-python1.90.0-py313

  virtuelles Paket, bereitgestellt durch libboost-python1.90.0

• dep: libboost-wave1.90.0 (>= 1.90.0)

  C99/C++-Präprozessorbibliothek

• dep: libc6 (>= 2.34)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libgcc-s1 (>= 3.0) [nicht armhf, i386, s390x]

  GCC Support-Bibliothek

  dep: libgcc-s1 (>= 3.5) [armhf]

  dep: libgcc-s1 (>= 4.2) [i386, s390x]

• dep: libpython3.13 (>= 3.13.0~rc3)

  Shared Python runtime library (version 3.13)

• dep: libstdc++6 (>= 13.1)

  GNU-Implementierung der Standard-C++-Bibliothek (Version 3)

• dep: libtcl8.6 (>= 8.6.0)

  Tcl (die Tool Command Language) v8.6 - Laufzeitbibliothek

• sug: tclsh

  virtuelles Paket, bereitgestellt durch tcl

vera++ herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	237,9 kB	760,0 kB	[Liste der Dateien]
arm64	208,3 kB	811,0 kB	[Liste der Dateien]
armhf	202,4 kB	552,0 kB	[Liste der Dateien]
i386	249,4 kB	753,0 kB	[Liste der Dateien]
ppc64el	239,0 kB	939,0 kB	[Liste der Dateien]
riscv64	230,1 kB	607,0 kB	[Liste der Dateien]
s390x	227,4 kB	775,0 kB	[Liste der Dateien]