/usr/bin/busyfix
/usr/bin/fakecc
/usr/bin/golem
/usr/bin/predator
/usr/bin/rsf2cnf
/usr/bin/rsf2model
/usr/bin/satyr
/usr/bin/undertaker-busybox-tree
/usr/bin/undertaker-calc-coverage
/usr/bin/undertaker-checkpatch
/usr/bin/undertaker-coreboot-tree
/usr/bin/undertaker
/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/sbin/undertaker-traceutil
You may install this package on Debian with
apt-get
install undertaker