undertaker binary package in Ubuntu Xenial i386

 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.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2016-01-21 06:44:09 UTC Published Ubuntu Xenial i386 release universe devel Optional 1.6.1-1
  • Published
  • Copied from ubuntu xenial-proposed i386 in Primary Archive for Ubuntu
  Deleted Ubuntu Xenial i386 proposed universe devel Optional 1.6.1-1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2016-01-21 06:45:12 UTC Superseded Ubuntu Xenial i386 release universe devel Optional 1.6-2.1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of undertaker 1.6.1-1 in ubuntu xenial PROPOSED
  • Published
  • Copied from ubuntu wily-proposed i386 in Primary Archive for Ubuntu