jdiff1
Syntactic diff of goto programs obtained from java bytecode
Usage
- jdiff [-?] [-h] [--help]
-
jdiff [-?] [-h] [--help] show help
- jdiff old new
-
jdiff old new jars to be compared
Overview
Options
Diff options:
-
--show-goto-functions -
show loaded goto program
-
--list-goto-functions -
list loaded goto functions
-
--show-properties -
show the properties, but don't run analysis
-
--show-loops -
show the loops in the programs
-
-u | --unified -
output unified diff
--change-impact |
--forward-impact |
-
--backward-impact -
output unified diff with forward&backward/forward/backward dependencies
-
--compact-output -
output dependencies in compact mode
Program instrumentation options:
-
--no-assertions -
ignore user assertions
-
--no-assumptions -
ignore user assumptions
-
--cover CC -
Add instrumentation as used with jbmc(1) for creating test-suite with coverage criterion CC, where CC is one of assertion[s], assume[s], branch[es], condition[s], cover, decision[s], location[s], or mcdc.
-
--cover-failed-assertions -
do not stop coverage checking at failed assertions (this is the default for
--coverassertions)
-
--show-test-suite -
print test suite for coverage criterion (requires
--cover)
Other options:
-
--version -
show version and exit
-
--json-ui -
use JSON-formatted output
-
--verbosity n -
verbosity level
-
--timestamp [monotonic|wall] -
Print microsecond-precision timestamps.
monotonic: stamps increase monotonically.wall: ISO-8601 wall clock timestamps.
Environment
All tools honor the TMPDIR environment variable when generating temporary files and directories.
Releases
3 releases since Debian 10 (Buster); the text changed 2 times.
--backward-impact since Debian 13 (Trixie);
--compact-output since Debian 13 (Trixie);
--cover since Debian 13 (Trixie);
--cover-failed-assertions since Debian 13 (Trixie);
--json-ui since Debian 13 (Trixie);
--list-goto-functions since Debian 13 (Trixie);
--show-test-suite since Debian 13 (Trixie);
--timestamp since Debian 13 (Trixie);
--unified since Debian 13 (Trixie);
--verbosity since Debian 13 (Trixie);
--version since Debian 13 (Trixie);
-u since Debian 13 (Trixie).
--16 until Debian 11 (Bullseye);
--32 until Debian 11 (Bullseye);
--64 until Debian 11 (Bullseye);
--ILP32 until Debian 11 (Bullseye);
--ILP64 until Debian 11 (Bullseye);
--LLP64 until Debian 11 (Bullseye);
--LP32 until Debian 11 (Bullseye);
--LP64 until Debian 11 (Bullseye);
--all-properties until Debian 11 (Bullseye);
--arch until Debian 11 (Bullseye);
--arrays-uf-always until Debian 11 (Bullseye);
--arrays-uf-never until Debian 11 (Bullseye);
--beautify-greedy until Debian 11 (Bullseye);
--big-endian until Debian 11 (Bullseye);
--boolector until Debian 11 (Bullseye);
--bounds-check until Debian 11 (Bullseye);
--cover-assertions until Debian 11 (Bullseye);
--cvc until Debian 10 (Buster);
--cvc3 until Debian 11 (Bullseye);
--cvc4 until Debian 11 (Bullseye);
--depth until Debian 11 (Bullseye);
--dimacs until Debian 11 (Bullseye);
--div-by-zero-check until Debian 11 (Bullseye);
--dump-c until Debian 11 (Bullseye);
--error-label until Debian 11 (Bullseye);
--function until Debian 11 (Bullseye);
--isr until Debian 11 (Bullseye);
--little-endian until Debian 11 (Bullseye);
--mathsat until Debian 11 (Bullseye);
--mmio until Debian 11 (Bullseye);
--nan-check until Debian 11 (Bullseye);
--no-arch until Debian 11 (Bullseye);
--no-library until Debian 11 (Bullseye);
--no-pretty-names until Debian 11 (Bullseye);
--no-unwinding-assertions until Debian 11 (Bullseye);
--nondet-static until Debian 11 (Bullseye);
--nondet-volatile until Debian 11 (Bullseye);
--os until Debian 11 (Bullseye);
--outfile until Debian 11 (Bullseye);
--pointer-check until Debian 11 (Bullseye);
--preprocess until Debian 11 (Bullseye);
--program-only until Debian 11 (Bullseye);
--property until Debian 11 (Bullseye);
--refine until Debian 11 (Bullseye);
--round-to-minus-inf until Debian 11 (Bullseye);
--round-to-nearest until Debian 11 (Bullseye);
--round-to-plus-inf until Debian 11 (Bullseye);
--round-to-zero until Debian 11 (Bullseye);
--show-symbol-table until Debian 11 (Bullseye);
--show-vcc until Debian 11 (Bullseye);
--signed-overflow-check until Debian 11 (Bullseye);
--slice-formula until Debian 11 (Bullseye);
--smt2 until Debian 11 (Bullseye);
--unsigned-char until Debian 11 (Bullseye);
--unsigned-overflow-check until Debian 11 (Bullseye);
--unwind until Debian 11 (Bullseye);
--unwindset until Debian 11 (Bullseye);
--yices until Debian 11 (Bullseye);
--z3 until Debian 11 (Bullseye);
-D until Debian 11 (Bullseye);
-I until Debian 11 (Bullseye).