Pakiet: libikos-dev (3.5-2) [non-free]

Odnośniki dla libikos-dev

Zasoby systemu Debian:

Pobieranie pakietu źródłowego ikos:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

Static analyzer for C/C++ - development headers

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 development headers.

Inne pakiety związane z libikos-dev

wymaga

poleca

sugeruje

enhances

dep: libikos (= 3.5-2)

Static analyzer for C/C++ - static libraries

Pobieranie libikos-dev

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	172,2 KiB	2 245,0 KiB	[lista plików]
arm64	172,2 KiB	2 245,0 KiB	[lista plików]
armel	172,2 KiB	2 245,0 KiB	[lista plików]
armhf	172,2 KiB	2 245,0 KiB	[lista plików]
i386	172,2 KiB	2 245,0 KiB	[lista plików]
mips64el	172,2 KiB	2 245,0 KiB	[lista plików]
ppc64el	172,2 KiB	2 245,0 KiB	[lista plików]
riscv64	172,2 KiB	2 245,0 KiB	[lista plików]
s390x	172,2 KiB	2 245,0 KiB	[lista plików]