---
name: "goto-inspect"
section: "2"
platform: "linux"
package: "cbmc"
version: "6.6.0-4"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/goto-inspect"
---

# goto-inspect(2)

Inspect goto-binaries.

## 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-binary.

## 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 temporary files and directories.

## BUGS

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

## SEE ALSO

[**cbmc**(1)](/cbmc/1.md), [**goto-cc**(1)](/goto-cc/1.md) [**goto-instrument**(1)](/goto-instrument/1.md)

## COPYRIGHT

2023, Diffblue Ltd.