Пакунок: ikos (3.5-2) [non-free]
Links for ikos
Debian Resources:
Download Source Package ikos:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
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)
- Операції з файловою системою (переносимі шляхи, операції з теками тощо) на Сі++
-
- dep: libboost-thread1.83.0 (>= 1.83.0)
- portable C++ multi-threading
-
- dep: libc6 (>= 2.38)
- Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.3) [not 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)
- Бібліотека арифметичних дій з довільною точністю (прив’язка до Сі++)
-
- dep: libsqlite3-0 (>= 3.5.9)
- Колективна бібліотека SQLite 3
-
- dep: libstdc++6 (>= 14)
- Стандартна бібліотека C++ GNU, версії 3
-
- dep: libtbb12 (>= 2022.0.0) [amd64]
- parallelism library for C++ - runtime files
- dep: libtbb12 (>= 2022.1.0) [not amd64]
-
- dep: libtinfo6 (>= 6)
- Низькорівнева колективна бібліотека „terminfo“ для роботи з терміналом
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- 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 | [список файлів] |