Balík: ikos (3.5-2) [non-free]
Odkazy pre ikos
Zdroje Debian:
Stiahnuť zdrojový balík ikos:
Správcovia:
Externé zdroje:
- Domovská stránka [github.com]
Podobné balíky:
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.
Ostatné balíky súvisiace s balíkom ikos
|
|
|
|
-
- dep: clang-14
- C, C++ and Objective-C compiler
-
- dep: libatomic1 (>= 4.8) [armel]
- pomocná knižnica poskytujúca zabudované funkcie __atomic
-
- dep: libboost-filesystem1.83.0 (>= 1.83.0)
- operácie so súborovým systémom (portabilné cesty, prechádzanie adresárov atď.) v C++
-
- dep: libboost-thread1.83.0 (>= 1.83.0)
- portabilný multi-threading pre C++
-
- dep: libc6 (>= 2.38)
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
-
- dep: libgcc-s1 (>= 3.3) [nie armel, armhf, i386, riscv64]
- podporná knižnica 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)
- aritmetická knižnica s viacnásobnou presnosťou
-
- dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg)
- Multiprecision arithmetic library (C++ bindings)
-
- dep: libsqlite3-0 (>= 3.5.9)
- zdieľaná knižnica SQLite 3
-
- dep: libstdc++6 (>= 14)
- štandardná knižnica C++ GNU v3
-
- dep: libtbb12 (>= 2022.0.0) [amd64]
- knižnica paralelizmu pre jazyk C++ - dynamické súbory
- dep: libtbb12 (>= 2022.1.0) [nie amd64]
-
- dep: libtinfo6 (>= 6)
- zdieľaná nízkoúrovňová knižnica terminfo na obsluhu terminálu
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- dep: zlib1g (>= 1:1.2.0)
- komprimačná knižnica - dynamická verzia
Stiahnuť ikos
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| amd64 | 9,999.0 kB | 40,780.0 kB | [zoznam súborov] |
| arm64 | 8,763.8 kB | 38,585.0 kB | [zoznam súborov] |
| armel | 8,408.2 kB | 35,310.0 kB | [zoznam súborov] |
| armhf | 8,518.8 kB | 33,710.0 kB | [zoznam súborov] |
| i386 | 11,486.7 kB | 46,710.0 kB | [zoznam súborov] |
| mips64el | 8,933.8 kB | 51,399.0 kB | [zoznam súborov] |
| ppc64el | 9,728.1 kB | 46,841.0 kB | [zoznam súborov] |
| riscv64 | 9,051.1 kB | 30,529.0 kB | [zoznam súborov] |
| s390x | 11,611.9 kB | 59,469.0 kB | [zoznam súborov] |