ikos binary package in Ubuntu Noble arm64
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2024-02-21 09:48:15 UTC | Published | Ubuntu Noble arm64 | release | multiverse | devel | Optional | 3.2-3 | ||
|
|||||||||
Deleted | Ubuntu Noble arm64 | proposed | multiverse | devel | Optional | 3.2-3 | |||
|