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

Odnośniki dla ikos

Zasoby systemu Debian:

Pobieranie pakietu źródłowego ikos:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

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.

Inne pakiety związane z ikos

wymaga

poleca

sugeruje

enhances

dep: clang-14

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

Biblioteka wsparcia zapewniająca wbudowane funkcje __atomic
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)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgcc-s1 (>= 3.3) [nie armel, armhf, i386, riscv64]

Biblioteka wspomagająca 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)

Biblioteka działań arytmetycznych z dużą dokładnością
dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg)

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

Biblioteka współdzielona SQLite 3
dep: libstdc++6 (>= 14)

Standardowa biblioteka GNU C++, wersja 3
dep: libtbb12 (>= 2022.0.0) [amd64]

parallelism library for C++ - runtime files

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

Współdzielona, niskopoziomowa biblioteka terminfo do obsługi terminala
dep: python3

Interaktywny, wysokopoziomowy i obiektowy język programowania (domyślna wersja Python 3)
dep: zlib1g (>= 1:1.2.0)

Biblioteka kompresyjna - pliki wykonawcze

Pobieranie ikos

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	9 999,0 KiB	40 780,0 KiB	[lista plików]
arm64	8 763,8 KiB	38 585,0 KiB	[lista plików]
armel	8 408,2 KiB	35 310,0 KiB	[lista plików]
armhf	8 518,8 KiB	33 710,0 KiB	[lista plików]
i386	11 486,7 KiB	46 710,0 KiB	[lista plików]
mips64el	8 933,8 KiB	51 399,0 KiB	[lista plików]
ppc64el	9 728,1 KiB	46 841,0 KiB	[lista plików]
riscv64	9 051,1 KiB	30 529,0 KiB	[lista plików]
s390x	11 611,9 KiB	59 469,0 KiB	[lista plików]