frama-c(1) on Linux
The text 0111166b3d12, as Debian 7 (Wheezy) shipped it.
a static analyzer for C programs frama-c-gui[.byte] - the graphical interface of frama-c
Flags it lists
-
-absolute-valid-range -
-add-path -
-big-ints-hex -
-cpp-command -
-cpp-extra-args -
-float-digits -
-float-flush-to-zero -
-float-hex -
-float-normal -
-float-relative -
-help -
-journal-disable -
-journal-enable -
-journal-name -
-kernel-help -
-load -
-load-module -
-load-script -
-machdep -
-main -
-obfuscate -
-ocode -
-print-libpath -
-print-path -
-print-plugin-path -
-print-share-path -
-quiet -
-safe-arrays -
-save -
-then -
-then-on -
-time -
-typecheck -
-ulevel -
-unsafe-arrays -
-verbose -
-version