goto-inspect(2)

goto-inspect2

Inspect goto-binaries.

Usage

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.

Overview

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

Options

User-interface options:

--show-goto-functions

print the goto-program instructions for the functions contained by the binary.

Environment

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

Bugs

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

From cbmc 6.6.0-4 in Debian 13 (Trixie). Parsed by carta from the page's man source.