undertaker_1.6.1-4.2+b1_i386.deb


Advertisement

Description

undertaker - variability-aware tool for static code analysis

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package name undertaker
Package version 1.6.1
Package release 4.2+b1
Package architecture i386
Package type deb
Installed size 6.39 KB
Download size 1.26 MB
Official Mirror ftp.br.debian.org
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.

Alternatives

Package Version Architecture Repository
undertaker_1.6.1-4.2+b1_amd64.deb 1.6.1 amd64 Debian Main
undertaker - - -

Requires

Name Value
git -
libboost wave1.67.0
libboost system1.67.0
libboost thread1.67.0
libboost filesystem1.67.0
libboost-regex1.67.0 >= 1.67.0-10
libc6 >= 2.27
libgcc1 >= 1:4.2
libstdc++6 >= 7
python whatthepatch
python << 2.8
python >= 2.7
python:any >= 2.6.6-7~

Download

Type URL
Binary Package undertaker_1.6.1-4.2+b1_i386.deb
Source Package undertaker

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install undertaker deb package:
    # sudo apt-get install undertaker

Files

Path
/etc/undertaker/blacklist.i686
/etc/undertaker/blacklist.x86_64
/etc/undertaker/undertaker.ignore
/etc/undertaker/whitelist.i686
/etc/undertaker/whitelist.x86_64
/usr/bin/busyfix
/usr/bin/fakecc
/usr/bin/golem
/usr/bin/predator
/usr/bin/rsf2cnf
/usr/bin/rsf2model
/usr/bin/satyr
/usr/bin/undertaker
/usr/bin/undertaker-busybox-tree
/usr/bin/undertaker-calc-coverage
/usr/bin/undertaker-checkpatch
/usr/bin/undertaker-coreboot-tree
/usr/bin/undertaker-kconfigdump
/usr/bin/undertaker-kconfigpp
/usr/bin/undertaker-linux-tree
/usr/bin/undertaker-scan-head
/usr/bin/undertaker-tailor
/usr/bin/undertaker-tracecontrol
/usr/bin/undertaker-tracecontrol-prepare-debian
/usr/bin/undertaker-tracecontrol-prepare-ubuntu
/usr/bin/vampyr
/usr/bin/vampyr-spatch-wrapper
/usr/bin/zizler
/usr/lib/Makefile.list
/usr/lib/Makefile.list_fiasco
/usr/lib/Makefile.list_recursion
/usr/lib/Makefile.version
/usr/lib/python2.7/dist-packages/vamos-1.6.1.egg-info
/usr/lib/python2.7/dist-packages/vamos/Config.py
/usr/lib/python2.7/dist-packages/vamos/Config_test.py
/usr/lib/python2.7/dist-packages/vamos/Model_test.py
/usr/lib/python2.7/dist-packages/vamos/Selection_test.py
/usr/lib/python2.7/dist-packages/vamos/Ziz_test.py
/usr/lib/python2.7/dist-packages/vamos/__init__.py
/usr/lib/python2.7/dist-packages/vamos/block.py
/usr/lib/python2.7/dist-packages/vamos/defect_analysis.py
/usr/lib/python2.7/dist-packages/vamos/model.py
/usr/lib/python2.7/dist-packages/vamos/selection.py
/usr/lib/python2.7/dist-packages/vamos/tools.py
/usr/lib/python2.7/dist-packages/vamos/busyfix/__init__.py
/usr/lib/python2.7/dist-packages/vamos/busyfix/basic_test.py
/usr/lib/python2.7/dist-packages/vamos/busyfix/normalizer.py
/usr/lib/python2.7/dist-packages/vamos/golem/FileSet.py
/usr/lib/python2.7/dist-packages/vamos/golem/Kbuild_test.py
/usr/lib/python2.7/dist-packages/vamos/golem/__init__.py
/usr/lib/python2.7/dist-packages/vamos/golem/inference.py
/usr/lib/python2.7/dist-packages/vamos/golem/inference_atoms.py
/usr/lib/python2.7/dist-packages/vamos/golem/kbuild.py
/usr/lib/python2.7/dist-packages/vamos/rsf2model/BoolParser.py
/usr/lib/python2.7/dist-packages/vamos/rsf2model/BoolRewriter.py
/usr/lib/python2.7/dist-packages/vamos/rsf2model/BoolRewriter_test.py
/usr/lib/python2.7/dist-packages/vamos/rsf2model/RsfReader.py
/usr/lib/python2.7/dist-packages/vamos/rsf2model/RsfReader_test.py
/usr/lib/python2.7/dist-packages/vamos/rsf2model/TranslatedModel.py
/usr/lib/python2.7/dist-packages/vamos/rsf2model/__init__.py
/usr/lib/python2.7/dist-packages/vamos/rsf2model/helper.py
/usr/lib/python2.7/dist-packages/vamos/rsf2model/tools.py
/usr/lib/python2.7/dist-packages/vamos/vampyr/BuildFrameworks.py
/usr/lib/python2.7/dist-packages/vamos/vampyr/Configuration.py
/usr/lib/python2.7/dist-packages/vamos/vampyr/Coverage_test.py
/usr/lib/python2.7/dist-packages/vamos/vampyr/Message_test.py
/usr/lib/python2.7/dist-packages/vamos/vampyr/Messages.py
/usr/lib/python2.7/dist-packages/vamos/vampyr/__init__.py
/usr/lib/python2.7/dist-packages/vamos/vampyr/utils.py
/usr/lib/undertaker/dumpconf
/usr/lib/undertaker/tailor/ubuntu-boot/undertaker-trace
/usr/lib/undertaker/tailor/ubuntu-boot/undertaker-trace.conf
/usr/lib/undertaker/tailor/ubuntu-boot/scripts/init-bottom/ORDER
/usr/lib/undertaker/tailor/ubuntu-boot/scripts/init-bottom/start-ftrace
/usr/sbin/undertaker-traceutil
/usr/share/doc/undertaker/README.gz
/usr/share/doc/undertaker/changelog.Debian.gz
/usr/share/doc/undertaker/changelog.Debian.i386.gz
/usr/share/doc/undertaker/copyright
/usr/share/doc/undertaker/tailor/HOWTO.gz
/usr/share/doc/undertaker/tailor/README.gz
/usr/share/man/man1/undertaker-kconfigdump.1.gz
/usr/share/man/man1/undertaker-kconfigpp.1.gz
/usr/share/man/man1/undertaker-linux-tree.1.gz
/usr/share/man/man1/undertaker.1.gz

Changelog

2018-08-11 - Adrian Bunk <bunk@debian.org>
undertaker (1.6.1-4.2) unstable; urgency=high
* Non-maintainer upload.
* Add the missing dependency on python-whatthepatch.
(Closes: #860298)
2017-09-03 - Adrian Bunk <bunk@debian.org>
undertaker (1.6.1-4.1) unstable; urgency=medium
* Non-maintainer upload.
* Fix FTBFS with gcc 7. (Closes: #853693)
2016-12-21 - Reinhard Tartler <siretart@debian.org>
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).
2016-03-05 - Reinhard Tartler <siretart@tauware.de>
undertaker (1.6.1-3) unstable; urgency=medium
* Rebuild against aspectc++/libpuma 2.0
* Rebuild against flex 2.6.1 (Closes: #833780), run flex at build-time.
2016-02-27 - Reinhard Tartler <siretart@tauware.de>
undertaker (1.6.1-2) unstable; urgency=medium
* Regenerate with Flex 2.6.0 (Closes: #813264)
* Fix FTBFS with newer Puma/AspectC++
* Bump standards version (no changes needed)
2016-01-19 - Reinhard Tartler <siretart@tauware.de>
undertaker (1.6.1-1) unstable; urgency=medium
* New upstream release
- Incorporated patch for undertaker-checkpatch (Closes: #769137)
* Add patch to fix FTBFS 'buildString' is not a member of 'Puma::StrCol'
(Closes: #797896)
* Relax CFLAGS (Don't add -Werror to everything)
2014-11-11 - Reinhard Tartler <siretart@tauware.de>
undertaker (1.6-2) unstable; urgency=medium
* Use system picsoat >= 960 (Closes: #766273)
* Apply logic bugfix from upstream for undertaker-checkpatch when
calucating statistics about Kconfig changes.
2014-10-19 - Reinhard Tartler <siretart@tauware.de>
undertaker (1.6-1) unstable; urgency=medium
* New upstream release
* Drop undertaker-el package. Sorry, I don't have enough time and expertise
to maintain this integration. Co-Maintainers welcome. Emacs users please
setup this package in your personal .emacs startup files.
(Closes: #724535, 724536)
2014-09-29 - Reinhard Tartler <siretart@tauware.de>
undertaker (1.5-1) unstable; urgency=low
* New upstream release
* update emacs dependency (Closes: #754029)
* Bump standards version (no changes needed)
2012-12-18 - Reinhard Tartler <siretart@tauware.de>
undertaker (1.4-1) experimental; urgency=low
* New upstream release
* Improve package description. Thanks to Justin B Rye <jbr@edlug.org.uk>
for the great suggestions! Closes: #696159
* Bump debhelper compat level to 9

See Also

Package Description
undertime_1.7.0_all.deb pick a meeting time using a table of world clocks
undistract-me_0.1.0+git20130402+3a9144bc1f-1_all.deb Notifies user when long-running terminal commands complete via libnotify
unhide.rb_22-4_all.deb Forensics tool to find processes hidden by rootkits
unhide_20130526-3_i386.deb Forensic tool to find hidden processes and ports
unhtml_2.3.9-4_i386.deb Remove the markup tags from an HTML file
uni2ascii_4.18-3_i386.deb UTF-8 to 7-bit ASCII and vice versa converter
unibetacode_1.2-1_i386.deb convert classical Greek and Coptic between Beta Code and Unicode
unicode-cldr-core_32.0.1-1_all.deb Common data from Unicode CLDR (core)
unicode-data_11.0.0-1_all.deb Property data for the Unicode character set
unicode-screensaver_0.5.1-2_i386.deb screensaver displaying unicode characters
unicode_2.7-1_all.deb display unicode character properties
unicon-imc2_3.0.4+dfsg1-1_i386.deb Chinese Input Method Library
uniconf-tools_4.6.1-14_i386.deb Tools to interface with UniConf
uniconfd_4.6.1-14_i386.deb Server that manages UniConf elements
unicorn_5.4.1-2_i386.deb Rack HTTP server for fast clients
Advertisement
Advertisement