goto-analyzer(1) on Linux
The text 5eb4c147a55c, as Debian 13 (Trixie) shipped it. The page shows this text now.
Data-flow analysis for C programs and goto binaries
Flags it lists
-
--16 -
--32 -
--64 -
--ILP32 -
--ILP64 -
--LLP64 -
--LP32 -
--LP64 -
--ahistorical -
--arch -
--assert-to-assume -
--big-endian -
--bounds-check -
--branching -
--c11 -
--c17 -
--c23 -
--c89 -
--c99 -
--call-stack -
--constants -
--conversion-check -
--cpp03 -
--cpp11 -
--cpp98 -
--dependence-graph -
--dependence-graph-vs -
--dfcc-debug-lib -
--dfcc-simple-invalid-pointer-model -
--div-by-zero-check -
--dot -
--enum-range-check -
--error-label -
--float-div-by-zero-check -
--float-overflow-check -
--flush -
--function -
--gcc -
--i386-linux -
--i386-macos -
--i386-win32 -
--include -
--intervals -
--json -
--legacy-ait -
--legacy-concurrent -
--list-goto-functions -
--little-endian -
--location-sensitive -
--loop-unwind -
--loop-unwind-and-branching -
--malloc-fail-assert -
--malloc-fail-null -
--malloc-may-fail -
--memory-cleanup-check -
--memory-leak-check -
--nan-check -
--no-assertions -
--no-assumptions -
--no-bounds-check -
--no-built-in-assertions -
--no-div-by-zero-check -
--no-library -
--no-malloc-may-fail -
--no-pointer-check -
--no-pointer-primitive-check -
--no-signed-overflow-check -
--no-simplify-slicing -
--no-standard-checks -
--no-undefined-shift-check -
--no-unwinding-assertions -
--non-null -
--one-domain-per-history -
--one-domain-per-location -
--os -
--pointer-check -
--pointer-overflow-check -
--pointer-primitive-check -
--ppc-macos -
--property -
--reachable-functions -
--recursive-interprocedural -
--retain-trivial-checks -
--round-to-even -
--round-to-minus-inf -
--round-to-nearest -
--round-to-plus-inf -
--round-to-zero -
--show -
--show-goto-functions -
--show-local-bitvector -
--show-local-may-alias -
--show-on-source -
--show-parse-tree -
--show-properties -
--show-symbol-table -
--show-taint -
--signed-overflow-check -
--simplify -
--string-abstraction -
--taint -
--text -
--three-way-merge -
--timestamp -
--undefined-shift-check -
--unreachable-functions -
--unreachable-instructions -
--unsigned-char -
--unsigned-overflow-check -
--unwinding-assertions -
--validate-goto-model -
--validate-ssa-equation -
--variable-sensitivity -
--verbosity -
--verify -
--version -
--vsd -
--vsd-array-max-elements -
--vsd-arrays -
--vsd-data-dependencies -
--vsd-flow-insensitive -
--vsd-liveness -
--vsd-pointers -
--vsd-structs -
--vsd-unions -
--vsd-values -
--win32 -
--winx64 -
--xml -
-D -
-I