GOTO-DIFF(1)

📦
version 6.8.0 · 3 versions
, in debian trixie, fedora 43, fedora 44, nixos 26.05, nixpkgs unstable, ubuntu questing, ubuntu resolute, ubuntu stonking

✨ NAME ✨

goto-diff — she does a syntactic diff of goto binaries, and she does it flawlessly 💅

🦋 SYNOPSIS 🦋

goto-diff [-?] [-h] [--help]
       show help

goto-diff old new
       goto binaries to be compared

So like… either you're just asking for help, or you're handing her two binaries — old and new — and letting her cook 🔥

🌸 DESCRIPTION 🌸

Bestie. Not gonna lie to you. This section is literally empty in the original. No notes, no lore, no nothing 😭 The NAME said it all: it's a syntactic diff of goto binaries. That's the whole vibe. Periodt.

🎀 OPTIONS 🎀

💖 Diff options:

  • --show-goto-functions — shows the loaded goto program 👀
  • --list-goto-functions — lists the loaded goto functions, just a lil list bestie
  • --show-properties — shows the properties, but does not run analysis, she's just showing, not doing 💅
  • --show-loops — shows the loops in the programs 🔁
  • -u | --unified — outputs a unified diff ✨
  • --change-impact / --forward-impact / --backward-impact — outputs a unified diff with forward&backward / forward / backward dependencies
  • --compact-output — outputs dependencies in compact mode, all squished and cute 🫶

🧚 Program instrumentation options:

  • --bounds-check — enables array bounds checks
  • --pointer-check — enables pointer checks
  • --memory-leak-check — enables memory leak checks
  • --memory-cleanup-check — enables memory cleanup checks: asserts that all dynamically allocated memory is explicitly freed before terminating the program 🧹
  • --div-by-zero-check — enables division by zero checks for integer division
  • --float-div-by-zero-check — enables division by zero checks for floating-point division
  • --signed-overflow-check — enables signed arithmetic over- and underflow checks
  • --unsigned-overflow-check — enables arithmetic over- and underflow checks
  • --pointer-overflow-check — enables pointer arithmetic over- and underflow checks
  • --conversion-check — checks whether values can be represented after a type cast
  • --undefined-shift-check — checks for shift greater than bit-width
  • --float-overflow-check — checks floating-point for +/-Inf
  • --nan-check — checks floating-point for NaN
  • --enum-range-check — checks that all enum type expressions have values in the enum range
  • --pointer-primitive-check — checks that all pointers in pointer primitives are valid or null
  • --retain-trivial-checks — includes checks that are trivially true (yes, even the obvious ones, she's thorough like that 😌)
  • --error-label label — checks that label is unreachable
  • --no-built-in-assertions — ignores assertions in built-in library
  • --no-assertions — ignores user assertions
  • --no-assumptions — ignores user assumptions
  • --assert-to-assume — converts user assertions to assumptions
  • --cover CC — creates a 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 — does not stop coverage checking at failed assertions (this is the default for --cover assertions)
  • --show-test-suite — prints the test suite for the coverage criterion (requires --cover, no cover no suite bestie 🙈)

👑 Other options:

  • --version — shows the version and exits
  • --json-ui — uses JSON-formatted output
  • --flush — flushes every single line of output, no buffering shenanigans
  • --verbosity n — sets the verbosity level
  • --timestamp [monotonic|wall] — prints 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. She's polite like that, she uses your temp spot 🥺

💀 BUGS 💀

If you encounter a problem, please create an issue at:

https://github.com/diffblue/cbmc/issues

Don't suffer in silence bestie, tell the devs 🫶

⭐ SEE ALSO ⭐

cbmc(1), goto-analyzer(1) — the whole friend group 💖

2016, Daniel Kroening, Peter Schrammel

Okay that's the whole page, you ate it, no crumbs left 💅 This was jdiff-5.59.0, dated June 2022 — love her, respect her, go diff some binaries ✨👑

📦 where this page comes from