undertaker 1.6.1-4 source package in Ubuntu

Changelog

undertaker (1.6.1-4) unstable; urgency=medium

  * Bug fix: "FTBFS in parallel builds", thanks to Lucas Nussbaum
    (Closes: #844980).
  * Bug fix: "add libfl-dev to Build-Depends", thanks to Helmut Grohne
    (Closes: #846452).

 -- Reinhard Tartler <email address hidden>  Wed, 21 Dec 2016 21:03:52 +0000

Upload details

Uploaded by:
Christoph Egger on 2016-12-22
Uploaded to:
Sid
Original maintainer:
Christoph Egger
Architectures:
any
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Zesty release on 2016-12-22 universe devel

Downloads

File Size SHA-256 Checksum
undertaker_1.6.1-4.dsc 2.2 KiB ac1fecbc674484af0d7b529848ee5c4299e57e967cf38d0470d520edc0dededb
undertaker_1.6.1.orig.tar.xz 1.5 MiB 579f3c3cf961a655d5943b86fbc93402f57c47bfb96374c838985d1014ae0bf3
undertaker_1.6.1-4.debian.tar.xz 17.8 KiB d17b66d2e719e9ea26f8b31dfe27de12e1f38426e7138cf57487e7f4af65756e

No changes file available.

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 package undertaker

 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.