Пакет: ikos (3.5-2) [non-free]

Ссылки для ikos

Ресурсы Debian:

Исходный код ikos:

Сопровождающие:

Внешние ресурсы:

Сайт [github.com]

Подобные пакеты:

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

зависимости

рекомендации

предложения

enhances

dep: clang-14

C, C++ and Objective-C compiler
dep: libatomic1 (>= 4.8) [armel]

библиотека для атомарного выполнения кода
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: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый 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)

Multiprecision arithmetic library (C++ bindings)
dep: libsqlite3-0 (>= 3.5.9)

динамически подключаемая библиотека SQLite 3
dep: libstdc++6 (>= 14)

стандартная библиотека GNU C++ версии 3
dep: libtbb12 (>= 2022.0.0) [amd64]

parallelism library for C++ - runtime files

dep: libtbb12 (>= 2022.1.0) [не amd64]
dep: libtinfo6 (>= 6)

низкоуровневая библиотека для работы с терминалом
dep: python3

интерактивный высокоуровневый объектно-ориентированный язык (версия python3 по умолчанию)
dep: zlib1g (>= 1:1.2.0)

библиотека сжатия

Загрузка ikos

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
amd64	9 999,0 Кб	40 780,0 Кб	[список файлов]
arm64	8 763,8 Кб	38 585,0 Кб	[список файлов]
armel	8 408,2 Кб	35 310,0 Кб	[список файлов]
armhf	8 518,8 Кб	33 710,0 Кб	[список файлов]
i386	11 486,7 Кб	46 710,0 Кб	[список файлов]
mips64el	8 933,8 Кб	51 399,0 Кб	[список файлов]
ppc64el	9 728,1 Кб	46 841,0 Кб	[список файлов]
riscv64	9 051,1 Кб	30 529,0 Кб	[список файлов]
s390x	11 611,9 Кб	59 469,0 Кб	[список файлов]