Paquet : undertaker (1.6.1-4.1build3)
Liens pour undertaker
Ressources Trisquel :
Télécharger le paquet source undertaker :
- [undertaker_1.6.1-4.1build3.dsc]
- [undertaker_1.6.1.orig.tar.xz]
- [undertaker_1.6.1-4.1build3.debian.tar.xz]
Responsable :
Original Maintainers:
- Christoph Egger
- Reinhard Tartler
Ressources externes :
- Page d'accueil [vamos.informatik.uni-erlangen.de]
Paquets similaires :
variability-aware tool for static code analysis
The "undertaker" is a tool suite for static source code analysis for checking C preprocessor directives. Also included are "golem", "vampyr" and "undertaker-tailor".
It can check their structure against different configuration models to find "dead" blocks that can never be selected and "undead" blocks that can never be deselected.
The included "golem" tool is able to infer variability constraints from Kbuild-like build systems, such as found in Linux, busybox and coreboot. Its results greatly improves the model that undertaker uses for the analysis.
The tool "vampyr" is a conditional-compilation aware driver. It uses the "undertaker" tool to calculate a set of configurations and calls a backend-scanner on each of them. Supported scanners include: "gcc", "sparse", and "clang".
The tool "undertaker-tailor" calculates a kernel configuration based on a profile, which is traced with Linux ftrace mechanism. The resulting kernel exhibits a much smaller attack surface and results in a significant more secure kernel.
Autres paquets associés à undertaker
|
|
|
-
- dep: git
- fast, scalable, distributed revision control system
-
- dep: libboost-filesystem1.65.1
- filesystem operations (portable paths, iteration over directories, etc) in C++
-
- dep: libboost-regex1.65.1
- regular expression library for C++
-
- dep: libboost-system1.65.1
- Operating system (e.g. diagnostics support) library
-
- dep: libboost-thread1.65.1
- portable C++ multi-threading
-
- dep: libboost-wave1.65.1
- C99/C++ preprocessor library
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.7) [i386]
-
- dep: libgcc1 (>= 1:4.2)
- GCC support library
-
- dep: libstdc++6 (>= 7)
- GNU Standard C++ Library v3
-
- dep: python
- interactive high-level object-oriented language (default version)
- dep: python (<< 2.8)
- dep: python (>= 2.7)
Télécharger undertaker
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
amd64 | 1 234,4 ko | 6383 ko | [liste des fichiers] |
i386 | 1 306,6 ko | 6651 ko | [liste des fichiers] |