Paketti: ikos (3.5-2) [non-free]

Links for ikos

Debian-palvelut:

Imuroi lähdekoodipaketti ikos:

Ylläpitäjät:

External Resources:

Kotisivu [github.com]

Samankaltaisia paketteja:

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.

Muut pakettiin ikos liittyvät paketit

depends

recommends

suggests

enhances

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-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb
dep: libgcc-s1 (>= 3.3) [ei armel, armhf, i386, riscv64]

GCC:n apukirjasto

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 (jaettu kirjasto)
dep: libstdc++6 (>= 14)

GNU standardi C++ -kirjasto, versio 3
dep: libtbb12 (>= 2022.0.0) [amd64]

parallelism library for C++ - runtime files

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

Jaettu matalan abstraktiotason terminfo-kirjasto päätteen käsittelyyn
dep: python3

interactive high-level object-oriented language (default python3 version)
dep: zlib1g (>= 1:1.2.0)

pakkauskirjaston ajonaikaistiedostot

Imuroi ikos

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	9,999.0 kt	40,780.0 kt	[tiedostoluettelo]
arm64	8,763.8 kt	38,585.0 kt	[tiedostoluettelo]
armel	8,408.2 kt	35,310.0 kt	[tiedostoluettelo]
armhf	8,518.8 kt	33,710.0 kt	[tiedostoluettelo]
i386	11,486.7 kt	46,710.0 kt	[tiedostoluettelo]
mips64el	8,933.8 kt	51,399.0 kt	[tiedostoluettelo]
ppc64el	9,728.1 kt	46,841.0 kt	[tiedostoluettelo]
riscv64	9,051.1 kt	30,529.0 kt	[tiedostoluettelo]
s390x	11,611.9 kt	59,469.0 kt	[tiedostoluettelo]