Package: sanitizer

"sanitizer" package binaries on Debian:

/usr/bin/sanitizer /usr/bin/simplify

You may install this package on Debian with apt-get install sanitizer