Package: libikos
Source: ikos
Version: 3.5-2
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Python Team <team+python@tracker.debian.org>
Installed-Size: 1812
Section: non-free/devel
Priority: optional
Homepage: https://github.com/NASA-SW-VnV/ikos
Description: 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.
