goto-inspect - Inspect goto-binaries.

If you encounter a problem please create an issue at https://github.com/diffblue/cbmc/issues

2023, Diffblue Ltd. goto-inspect-5.81.0 May 2023 GOTO-INSPECT(2)

goto-inspect reads a GOTO binary, and shows goto-functions, properties, and other attributes associated with the goto-program.

All tools honor the TMPDIR environment variable when generating temporary files and directories.

goto-inspect - Inspect goto-binaries.

User-interfaceoptions:--show-goto-functions print the goto-program instructions for the functions contained by the binary.

cbmc(1), goto-cc(1) goto-instrument(1)

goto-inspect[-?][-h][--help] show help goto-inspect--version show version and exit goto-inspect[options]in Inspect (show properties, goto-functions, etc of) given goto-binary.