Paquet : undertaker (1.6.1-4.2 et autres)
Liens pour undertaker
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 undertaker :
Responsables :
Ressources externes :
- Page d'accueil [vamos.informatik.uni-erlangen.de]
Paquets similaires :
outil tenant compte de la variabilité pour l’analyse statique de code source
Undertaker est une suite d’outils pour l’analyse statique de code source pour la vérification des directives du préprocesseur C. Sont aussi fournis golem, vampyr et undertaker-tailor.
Elle peut vérifier leur structure selon des modèles de configuration différents pour trouver les blocs « morts » ne pouvant jamais être choisis et les blocs « non morts » ne pouvant jamais être désélectionnés.
L’outil golem est capable de déduire les contraintes de variabilité à partir des systèmes de construction de type Kbuild, comme présent dans Linux, BusyBox et coreboot. Ses résultats améliorent grandement le modèle qu'undertaker utilise pour ses analyses.
L’outil vampyr est un pilote attentif aux conditions de compilation. Il utilise l’outil undertaker pour calculer un ensemble de configurations et appelle un analyseur dorsal pour chacune d’entre elles. Les analyseurs pris en charge sont gcc, sparse et clang.
L’outil undertaker-tailor calcule une configuration du noyau basée sur un profil, qui est suivi par le mécanisme ftrace de Linux. Le noyau résultant laisse apparaître une plus petite surface d’attaque et de ce fait procure un noyau significativement plus sécurisé.
Autres paquets associés à undertaker
|
|
|
|
-
- dep: git
- système de gestion de versions distribué, rapide et évolutif
-
- dep: libboost-filesystem1.67.0
- opérations sur le système de fichiers (chemins portables, itération sur des répertoires,⋅etc.) en C++
-
- dep: libboost-regex1.67.0 (>= 1.67.0-10)
- Bibliothèque d'expressions rationnelles pour C++
-
- dep: libboost-system1.67.0
- bibliothèque de système d'exploitation (par ex. gestion des diagnostics)
-
- dep: libboost-thread1.67.0
- multitâche portable pour C++
-
- dep: libboost-wave1.67.0
- bibliothèque de préprocesseur C99/C++
-
- dep: libc6 (>= 2.27)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libgcc1 (>= 1:3.5) [armhf]
- bibliothèque de prise en charge de GCC
- dep: libgcc1 (>= 1:4.2) [non armhf]
-
- dep: libstdc++6 (>= 7)
- bibliothèque standard C++ de GNU v3
-
- dep: python
- langage interactif de haut niveau orienté objet (version Python2)
- dep: python (<< 2.8)
- dep: python (>= 2.7)
-
- dep: python-whatthepatch
- Library for parsing patch files (Python 2)
Télécharger undertaker
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| amd64 | 1.6.1-4.2+b1 | 1 227,7 ko | 6 326,0 ko | [liste des fichiers] |
| arm64 | 1.6.1-4.2+b1 | 1 086,6 ko | 6 126,0 ko | [liste des fichiers] |
| armhf | 1.6.1-4.2+b1 | 925,7 ko | 3 842,0 ko | [liste des fichiers] |
| i386 | 1.6.1-4.2+b1 | 1 285,6 ko | 6 544,0 ko | [liste des fichiers] |