gnatelim(1) on Linux
The text d05d614712d7, as Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it.
eliminate dead code from Ada programs
Flags it lists
-
-a -
-m -
-v -
-vf