frama-c(1) on Linux
The text 4de40aa5c997, as Debian 10 (Buster) 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 -
-c11 -
-check -
-const-readonly -
-cpp-command -
-cpp-extra-args -
-custom-annot-char -
-debug -
-enums -
-float-digits -
-float-flush-to-zero -
-float-hex -
-float-normal -
-float-relative -
-help -
-implicit-function-declaration -
-initialized-padding-locals -
-journal-disable -
-journal-enable -
-journal-name -
-keep-unused-specified-functions -
-kernel-help -
-kernel-log -
-load -
-load-module -
-load-script -
-machdep -
-main -
-obfuscate -
-ocode -
-print-libpath -
-print-path -
-print-plugin-path -
-print-share-path -
-quiet -
-remove-projects -
-remove-unused-specified-functions -
-safe-arrays -
-save -
-session -
-then -
-then-last -
-then-on -
-then-replace -
-time -
-typecheck -
-ulevel -
-unsafe-arrays -
-verbose -
-version -
-warn-decimal-float