SYMTAB2GB(1) User Commands SYMTAB2GB(1)

# [NAME](#NAME)

symtab2gb - Compile JSON symbol tables to a GOTO binary

# [SYNOPSIS](#SYNOPSIS)

[**symtab2gb \[-?\] \[-h\] \[--help\]**](#symtab2gb)

show help

[**symtab2gb *json-symtab-file*+ \[--out *outfile*\]**](#symtab2gb~2)

compile symbol tables in JSON format to a single GOTO binary

# [DESCRIPTION](#DESCRIPTION)

This utility is to compile a [**cbmc**(1)](/man/os/cbmc/cbmc.1) symbols table (in JSON format) into a GOTO binary. This is to support integration of external language frontends, such as Ada (using GNAT2GOTO: https://github.com/diffblue/gnat2goto) or Rust (using Kani: https://github.com/model-checking/kani).

# [OPTIONS](#OPTIONS)

[**--out** *outfile*](#out)

Specify the filename of the resulting binary (default: a.out)

[**--goto-functions** *file*](#goto)

Specify a file containing JSON-encoded goto functions

[**--verbosity** #](#verbosity)

verbosity level

# [ENVIRONMENT](#ENVIRONMENT)

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

# [BUGS](#BUGS)

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

# [SEE ALSO](#SEE_ALSO)

[**cbmc**(1)](/man/os/cbmc/cbmc.1)

# [COPYRIGHT](#COPYRIGHT)

2019, Diffblue

June 2022 symtab2gb-5.59.0

---

Document: symtab2gb(1) from cbmc 6.11.0-r0 (Chainguard OS)