all options
sid  ]
[ Source: ikos  ]

Пакунок: libikos (3.5-2) [non-free]

Links for libikos

Screenshot

Debian Resources:

Download Source Package ikos:

Maintainers:

External Resources:

Similar packages:

Static analyzer for C/C++ - static libraries

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 libraries.

Завантажити libikos

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
amd64 263.5 kB1,845.0 kB [список файлів]
arm64 244.5 kB1,800.0 kB [список файлів]
armel 250.3 kB1,547.0 kB [список файлів]
armhf 253.0 kB1,400.0 kB [список файлів]
i386 291.2 kB1,528.0 kB [список файлів]
mips64el 275.0 kB2,146.0 kB [список файлів]
ppc64el 265.0 kB1,897.0 kB [список файлів]
riscv64 967.5 kB10,228.0 kB [список файлів]
s390x 253.7 kB1,781.0 kB [список файлів]