FreeBSD Manual Pages
GOTO-INSPECT(2) User Commands GOTO-INSPECT(2) NAME goto-inspect - Inspect goto-binaries. SYNOPSIS 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-bi- nary. DESCRIPTION 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 tempo- rary files and directories. BUGS If you encounter a problem please create an issue at https://github.com/diffblue/cbmc/issues SEE ALSO cbmc(1), goto-cc(1) goto-instrument(1) COPYRIGHT 2023, Diffblue Ltd. goto-inspect-5.81.0 May 2023 GOTO-INSPECT(2)
NAME | SYNOPSIS | DESCRIPTION | OPTIONS | ENVIRONMENT | BUGS | SEE ALSO | COPYRIGHT
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=goto-inspect&sektion=1&manpath=FreeBSD+Ports+15.0>