frama-c(1) on Linux
The text 6a02db952e58, as Debian 11 (Bullseye) 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 -
-autocomplete -
-big-ints-hex -
-c11 -
-check -
-const-readonly -
-cpp-command -
-cpp-extra-args -
-cpp-extra-args-per-file -
-debug -
-enums -
-explain -
-float-digits -
-float-flush-to-zero -
-float-hex -
-float-normal -
-float-relative -
-help -
-implicit-function-declaration -
-initialized-padding-locals -
-inline-calls -
-journal-disable -
-journal-enable -
-journal-name -
-json-compilation-database -
-keep-unused-specified-functions -
-keep-unused-types -
-kernel-help -
-kernel-log -
-kernel-msg-key -
-kernel-warn-key -
-load -
-load-module -
-load-script -
-machdep -
-main -
-obfuscate -
-ocode -
-print-config-json -
-print-cpp-commands -
-print-libpath -
-print-path -
-print-plugin-path -
-print-share-path -
-quiet -
-remove-inlined -
-remove-projects -
-remove-unused-specified-functions -
-remove-unused-types -
-safe-arrays -
-save -
-session -
-then -
-then-last -
-then-on -
-then-replace -
-time -
-typecheck -
-ulevel -
-unsafe-arrays -
-verbose -
-version -
-warn-decimal-float