undertaker binary package in Ubuntu Bionic i386
The "undertaker" is a tool suite for static source code analysis for
checking C preprocessor directives. Also included are "golem", "vampyr"
and "undertaker-
.
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-
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2018-02-20 11:03:51 UTC | Published | Ubuntu Bionic i386 | release | universe | devel | Optional | 1.6.1-4.1build3 | ||
|
|||||||||
Deleted | Ubuntu Bionic i386 | proposed | universe | devel | Optional | 1.6.1-4.1build3 | |||
|
|||||||||
2018-02-20 11:04:52 UTC | Superseded | Ubuntu Bionic i386 | release | universe | devel | Optional | 1.6.1-4.1build2 | ||
|
|||||||||
2018-02-21 12:10:10 UTC | Deleted | Ubuntu Bionic i386 | proposed | universe | devel | Optional | 1.6.1-4.1build2 | ||
|
|||||||||
2017-10-31 13:03:20 UTC | Superseded | Ubuntu Bionic i386 | release | universe | devel | Optional | 1.6.1-4.1build1 | ||
|