Package: frama-c-base

"frama-c-base" package binaries on Debian:

/usr/bin/frama-c.byte /usr/bin/frama-c

You may install this package on Debian with apt-get install frama-c-base