ikos 3.2-3 (arm64 binary) in ubuntu noble
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.
Details
- Package version:
- 3.2-3
- Status:
- Published
- Component:
- multiverse
- Priority:
- Optional
Downloadable files
- ikos_3.2-3_arm64.deb (9.8 MiB)
Package relationships
- Depends on: