Binary: frama-c

Debian packages that has this binary:

Package: frama-c-base

/usr/bin/frama-c

Random binary cloud:

aafire avr-strip sparc64-linux-gnu-readelf checkmodule esdplay eulb-describe-lbs cgi-fcgi psscale v.net.connectivity hetget imgcmp kappfinder clogTOslog2 pamditherbw ypdomainname setsebool pktogf xetex airport-modem apertium-rertf automx-test gcin gmtdigitize gvncviewer tcp_relay replacepdfobj count-3.4 guimb ocp ExecutePipeline