janalyzer(1) on Linux
The text 038fc4a98ea9, as Debian 13 (Trixie) shipped it. The page shows this text now.
Data-flow analysis for Java bytecode
Flags it lists
-
--16 -
--32 -
--64 -
--ILP32 -
--ILP64 -
--LLP64 -
--LP32 -
--LP64 -
--arch -
--assert-no-exceptions-thrown -
--big-endian -
--classpath -
--concurrent -
--constants -
--context-exclude -
--context-include -
--dependence-graph -
--disable-uncaught-exception-check -
--dot -
--function -
--gcc -
--i386-linux -
--i386-macos -
--i386-win32 -
--ignore-manifest-main-class -
--intervals -
--java-assume-inputs-integral -
--java-assume-inputs-non-null -
--java-cp-include-files -
--java-lift-clinit-calls -
--java-load-class -
--java-max-vla-length -
--java-no-load-class -
--json -
--lazy-methods-extra-entry-point -
--list-goto-functions -
--little-endian -
--location-sensitive -
--main-class -
--max-nondet-array-length -
--max-nondet-tree-depth -
--no-assertions -
--no-assumptions -
--no-lazy-methods -
--no-simplify-slicing -
--non-null -
--os -
--ppc-macos -
--property -
--reachable-functions -
--show -
--show-goto-functions -
--show-local-may-alias -
--show-parse-tree -
--show-properties -
--show-symbol-table -
--show-taint -
--simplify -
--static-values -
--taint -
--text -
--throw-assertion-error -
--throw-runtime-exceptions -
--timestamp -
--unreachable-functions -
--unreachable-instructions -
--verbosity -
--verify -
--version -
--win32 -
--winx64 -
--xml -
-classpath -
-cp