Binary package “libikos-dev” in ubuntu oracular
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.