Paket: ikos (3.5-2) [non-free]
Länkar för ikos
Debianresurser:
Hämta källkodspaketet ikos:
Ansvariga:
Externa resurser:
- Hemsida [github.com]
Liknande paket:
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.
Andra paket besläktade med ikos
|
|
|
|
-
- dep: clang-14
- C, C++ and Objective-C compiler
-
- dep: libatomic1 (>= 4.8) [armel]
- support library providing __atomic built-in functions
-
- dep: libboost-filesystem1.83.0 (>= 1.83.0)
- filesystem operations (portable paths, iteration over directories, etc) in C++
-
- dep: libboost-thread1.83.0 (>= 1.83.0)
- portable C++ multi-threading
-
- dep: libc6 (>= 2.38)
- GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
-
- dep: libgcc-s1 (>= 3.3) [ej armel, armhf, i386, riscv64]
- GCC stödbibliotek
- 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)
- Multiprecision arithmetic library
-
- dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg)
- Multiprecision arithmetic library (C++ bindings)
-
- dep: libsqlite3-0 (>= 3.5.9)
- SQLite 3 shared library
-
- dep: libstdc++6 (>= 14)
- GNU standardbibliotek v3 för C++
-
- dep: libtbb12 (>= 2022.0.0) [amd64]
- parallelism library for C++ - runtime files
- dep: libtbb12 (>= 2022.1.0) [ej amd64]
-
- dep: libtinfo6 (>= 6)
- shared low-level terminfo library for terminal handling
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- dep: zlib1g (>= 1:1.2.0)
- Kompressionsbibliotek - körtidspaket
Hämta ikos
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| amd64 | 9.999,0 kbyte | 40.780,0 kbyte | [filförteckning] |
| arm64 | 8.763,8 kbyte | 38.585,0 kbyte | [filförteckning] |
| armel | 8.408,2 kbyte | 35.310,0 kbyte | [filförteckning] |
| armhf | 8.518,8 kbyte | 33.710,0 kbyte | [filförteckning] |
| i386 | 11.486,7 kbyte | 46.710,0 kbyte | [filförteckning] |
| mips64el | 8.933,8 kbyte | 51.399,0 kbyte | [filförteckning] |
| ppc64el | 9.728,1 kbyte | 46.841,0 kbyte | [filförteckning] |
| riscv64 | 9.051,1 kbyte | 30.529,0 kbyte | [filförteckning] |
| s390x | 11.611,9 kbyte | 59.469,0 kbyte | [filförteckning] |