undertaker 1.6.1-4.1build1 source package in Ubuntu


undertaker (1.6.1-4.1build1) artful; urgency=medium

  * Rebuild against rebuild with default fPIC.

 -- Gianfranco Costamagna <email address hidden>  Thu, 14 Sep 2017 09:06:52 +0200

Upload details

Uploaded by:
LocutusOfBorg on 2017-09-14
Uploaded to:
Original maintainer:
Christoph Egger
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Artful release on 2017-09-14 universe devel


File Size SHA-256 Checksum
undertaker_1.6.1.orig.tar.xz 1.5 MiB 579f3c3cf961a655d5943b86fbc93402f57c47bfb96374c838985d1014ae0bf3
undertaker_1.6.1-4.1build1.debian.tar.xz 19.6 KiB 17133b9c939bbd5a91cca16677e48942c4cc0d64ac8271a34d36f9997b95fdf3
undertaker_1.6.1-4.1build1.dsc 2.2 KiB 286dca554428a41d6d68669d66704ed30b7a4957f4250c3850e1c9220a729cbd

View changes file

Binary packages built by this source

undertaker: 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.

undertaker-dbgsym: debug symbols for undertaker