Binary package “libikos” in ubuntu noble
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.
Source package
Published versions
- libikos 3.2-3 in amd64 (Proposed)
- libikos 3.2-3 in amd64 (Release)
- libikos 3.2-3 in arm64 (Proposed)
- libikos 3.2-3 in arm64 (Release)
- libikos 3.2-3 in armhf (Proposed)
- libikos 3.2-3 in armhf (Release)
- libikos 3.2-3 in ppc64el (Proposed)
- libikos 3.2-3 in ppc64el (Release)
- libikos 3.2-3 in riscv64 (Proposed)
- libikos 3.2-3 in riscv64 (Release)
- libikos 3.2-3 in s390x (Proposed)
- libikos 3.2-3 in s390x (Release)