[ ソース: vera++ ]
パッケージ: vera++ (1.3.0-1 など)
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.
その他の vera++ 関連パッケージ
|
|
|
|
-
- dep: libboost-filesystem1.83.0 (>= 1.83.0)
- C++ でのファイルシステム操作 (ポータブルなパス、ディレクトリの列挙など)
-
- dep: libboost-program-options1.83.0 (>= 1.83.0)
- C++ 用プログラムオプションライブラリ
-
- dep: libboost-python1.83.0 (>= 1.83.0)
- Boost.Python Library
-
- dep: libboost-python1.83.0-py313
- 以下のパッケージによって提供される仮想パッケージです: libboost-python1.83.0
-
- dep: libboost-wave1.83.0 (>= 1.83.0)
- C99/C++ preprocessor library
-
- dep: libc6 (>= 2.34)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libgcc-s1 (>= 3.0) [armhf 以外]
- GCC 共有ライブラリ
- dep: libgcc-s1 (>= 3.5) [armhf]
-
- dep: libpython3.13 (>= 3.13.0~rc3)
- Shared Python runtime library (version 3.13)
-
- dep: libstdc++6 (>= 13.1)
- GNU 標準 C++ ライブラリ v3
-
- dep: libtcl8.6 (>= 8.6.0)
- Tcl (Tool Command Language) v8.6 - ランタイムライブラリファイル
vera++ のダウンロード
| アーキテクチャ | バージョン | パッケージサイズ | インストールサイズ | ファイル |
|---|---|---|---|---|
| amd64 | 1.3.0-1 | 268.0 kB | 1,004.0 kB | [ファイル一覧] |
| arm64 | 1.3.0-1+b1 | 207.6 kB | 748.0 kB | [ファイル一覧] |
| armhf | 1.3.0-1 | 232.9 kB | 808.0 kB | [ファイル一覧] |
| i386 | 1.3.0-1 | 279.9 kB | 985.0 kB | [ファイル一覧] |
| ppc64el | 1.3.0-1 | 269.5 kB | 1,131.0 kB | [ファイル一覧] |
| riscv64 | 1.3.0-1 | 261.3 kB | 851.0 kB | [ファイル一覧] |
| s390x | 1.3.0-1 | 255.0 kB | 1,015.0 kB | [ファイル一覧] |
