Paquet : ikos (3.5-2) [non-free]
Liens pour ikos
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source ikos :
Responsables :
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
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.
Autres paquets associés à ikos
|
|
|
|
-
- dep: clang-14
- compilateur⋅C, C++ et Objective-C
-
- dep: libatomic1 (>= 4.8) [armel]
- bibliothèque de prise en charge fournissant des fonctions internes __atomic
-
- dep: libboost-filesystem1.83.0 (>= 1.83.0)
- opérations sur le système de fichiers (chemins portables, itération sur des répertoires,⋅etc.) en C++
-
- dep: libboost-thread1.83.0 (>= 1.83.0)
- multitâche portable pour C++
-
- dep: libc6 (>= 2.38)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libgcc-s1 (>= 3.3) [non armel, armhf, i386, riscv64]
- bibliothèque de prise en charge de GCC
- dep: libgcc-s1 (>= 3.4) [riscv64]
- dep: libgcc-s1 (>= 4.3) [armel, armhf]
- dep: libgcc-s1 (>= 7) [i386]
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Bibliothèque arithmétique à multi-précision
-
- dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg)
- bibliothèque arithmétique multiprécision - points d'entrée C++
-
- dep: libsqlite3-0 (>= 3.5.9)
- Bibliothèque partagée SQLite 3
-
- dep: libstdc++6 (>= 14)
- bibliothèque standard C++ de GNU v3
-
- dep: libtbb12 (>= 2022.0.0) [amd64]
- bibliothèque de parallélisme pour C++ – environnement d’exécution
- dep: libtbb12 (>= 2022.1.0) [non amd64]
-
- dep: libtinfo6 (>= 6)
- bibliothèque partagée terminfo de bas niveau pour manipuler le terminal
-
- dep: python3
- langage orienté objet interactif de haut niveau – version par défaut de Python 3
-
- dep: zlib1g (>= 1:1.2.0)
- Bibliothèque de compression - binaires
Télécharger ikos
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 9 999,0 ko | 40 780,0 ko | [liste des fichiers] |
| arm64 | 8 763,8 ko | 38 585,0 ko | [liste des fichiers] |
| armel | 8 408,2 ko | 35 310,0 ko | [liste des fichiers] |
| armhf | 8 518,8 ko | 33 710,0 ko | [liste des fichiers] |
| i386 | 11 486,7 ko | 46 710,0 ko | [liste des fichiers] |
| mips64el | 8 933,8 ko | 51 399,0 ko | [liste des fichiers] |
| ppc64el | 9 728,1 ko | 46 841,0 ko | [liste des fichiers] |
| riscv64 | 9 051,1 ko | 30 529,0 ko | [liste des fichiers] |
| s390x | 11 611,9 ko | 59 469,0 ko | [liste des fichiers] |