Package: frama-c

"frama-c" package binaries on Debian:

/usr/bin/frama-c-gui

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