パッケージ: ikos (3.5-2) [non-free]
Static analyzer for C/C++
IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation.
IKOS started as a C++ library designed to facilitate the development of sound static analyzers based on Abstract Interpretation. Specialization of a static analyzer for an application or family of applications is critical for achieving both precision and scalability. Developing such an analyzer is arduous and requires significant expertise in Abstract Interpretation.
IKOS provides a generic and efficient implementation of state-of-the-art Abstract Interpretation data structures and algorithms, such as control-flow graphs, fixpoint iterators, numerical abstract domains, etc. IKOS is independent of a particular programming language.
IKOS also provides a C and C++ static analyzer based on LLVM. It implements scalable analyses for detecting and proving the absence of runtime errors in C and C++ programs.
This package provides the static analyzer binaries.
その他の ikos 関連パッケージ
|
|
|
|
-
- dep: clang-14
- C, C++ and Objective-C compiler
-
- dep: libatomic1 (>= 4.8) [armel]
- __atomic ビルトイン関数を提供するサポートライブラリ
-
- dep: libboost-filesystem1.83.0 (>= 1.83.0)
- C++ でのファイルシステム操作 (ポータブルなパス、ディレクトリの列挙など)
-
- dep: libboost-thread1.83.0 (>= 1.83.0)
- portable C++ multi-threading
-
- dep: libc6 (>= 2.38)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libgcc-s1 (>= 3.3) [armel, armhf, i386, riscv64 以外]
- GCC 共有ライブラリ
- dep: libgcc-s1 (>= 3.4) [riscv64]
- dep: libgcc-s1 (>= 4.3) [armel, armhf]
- dep: libgcc-s1 (>= 7) [i386]
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- 多倍長精度演算ライブラリ
-
- dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg)
- 多倍長精度演算ライブラリ (C++ バインディング)
-
- dep: libsqlite3-0 (>= 3.5.9)
- SQLite 3 共有ライブラリ
-
- dep: libstdc++6 (>= 14)
- GNU 標準 C++ ライブラリ v3
-
- dep: libtbb12 (>= 2022.0.0) [amd64]
- parallelism library for C++ - runtime files
- dep: libtbb12 (>= 2022.1.0) [amd64 以外]
-
- dep: libtinfo6 (>= 6)
- 端末を扱う低レベルの terminfo 共有ライブラリ
-
- dep: python3
- 対話式の高レベルオブジェクト指向言語 (デフォルト python3 バージョン)
-
- dep: zlib1g (>= 1:1.2.0)
- 圧縮ライブラリ - ランタイム
ikos のダウンロード
| アーキテクチャ | パッケージサイズ | インストールサイズ | ファイル |
|---|---|---|---|
| amd64 | 9,999.0 kB | 40,780.0 kB | [ファイル一覧] |
| arm64 | 8,763.8 kB | 38,585.0 kB | [ファイル一覧] |
| armel | 8,408.2 kB | 35,310.0 kB | [ファイル一覧] |
| armhf | 8,518.8 kB | 33,710.0 kB | [ファイル一覧] |
| i386 | 11,486.7 kB | 46,710.0 kB | [ファイル一覧] |
| mips64el | 8,933.8 kB | 51,399.0 kB | [ファイル一覧] |
| ppc64el | 9,728.1 kB | 46,841.0 kB | [ファイル一覧] |
| riscv64 | 9,051.1 kB | 30,529.0 kB | [ファイル一覧] |
| s390x | 11,611.9 kB | 59,469.0 kB | [ファイル一覧] |