ikos 3.2-3 source package in Ubuntu
Changelog
ikos (3.2-3) unstable; urgency=medium * Add missing Build-Depends (Closes: #1064351) -- Scott Talbert <email address hidden> Tue, 20 Feb 2024 18:53:42 -0500
Upload details
- Uploaded by:
- Debian Python Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Python Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Oracular | release | multiverse | misc | |
Noble | release | multiverse | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ikos_3.2-3.dsc | 2.2 KiB | 9726652719e68faafec49d35e5d0a965d0d4d0dd059ea04a25f7bd7187f4c023 |
ikos_3.2.orig.tar.gz | 1.3 MiB | 780b373b73125d42e8ad4dad43e11f08447b2a238ec54640fc2e1c3d2c4de071 |
ikos_3.2-3.debian.tar.xz | 7.6 KiB | d42a99fc43d808e20982bf60f55fd9f38d877c059458d2cd1693800cacf853e6 |
Available diffs
- diff from 3.2-2 to 3.2-3 (499 bytes)
No changes file available.
Binary packages built by this source
- ikos: Static analyzer for C/C++
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.
- ikos-dbgsym: debug symbols for ikos
- libikos: 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.
- libikos-dev: 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.