Balík: undertaker (1.6.1-4.2 a iné)
Odkazy pre undertaker
Zdroje Debian:
Stiahnuť zdrojový balík undertaker:
Správcovia:
Externé zdroje:
- Domovská stránka [vamos.informatik.uni-erlangen.de]
Podobné balíky:
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.
Ostatné balíky súvisiace s balíkom undertaker
|
|
|
|
-
- dep: git
- rýchly, škálovateľný, distribuovaný systém na správu revízií
-
- dep: libboost-filesystem1.67.0
- operácie so súborovým systémom (portabilné cesty, prechádzanie adresárov atď.) v C++
-
- dep: libboost-regex1.67.0 (>= 1.67.0-10)
- knižnica regulárnych výrazov pre C++
-
- dep: libboost-system1.67.0
- knižnica operačného systému (napr. podpora diagnostiky)
-
- dep: libboost-thread1.67.0
- portabilný multi-threading pre C++
-
- dep: libboost-wave1.67.0
- knižnica preprocesora C99/C++
-
- dep: libc6 (>= 2.27)
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
-
- dep: libgcc1 (>= 1:3.5) [armhf]
- podporná knižnica GCC
- dep: libgcc1 (>= 1:4.2) [nie armhf]
-
- dep: libstdc++6 (>= 7)
- štandardná knižnica C++ GNU v3
-
- dep: python
- interaktívny vysokoúrovňový objektovo orientovaný jazyk (verzia python2)
- dep: python (<< 2.8)
- dep: python (>= 2.7)
-
- dep: python-whatthepatch
- Library for parsing patch files (Python 2)
Stiahnuť undertaker
Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|---|
amd64 | 1.6.1-4.2+b1 | 1,227.7 kB | 6,326.0 kB | [zoznam súborov] |
arm64 | 1.6.1-4.2+b1 | 1,086.6 kB | 6,126.0 kB | [zoznam súborov] |
armhf | 1.6.1-4.2+b1 | 925.7 kB | 3,842.0 kB | [zoznam súborov] |
i386 | 1.6.1-4.2+b1 | 1,285.6 kB | 6,544.0 kB | [zoznam súborov] |