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

# symtab2gb(1)

Compile JSON symbol tables to a GOTO binary

## NAME

symtab2gb - Compile JSON symbol tables to a GOTO binary

## SYNOPSIS

- **symtab2gb \[-?\] \[-h\] \[--help\]**

  show help

- **symtab2gb *json-symtab-file*+ \[--out *outfile*\]**

  compile symbol tables in JSON format to a single GOTO binary

## DESCRIPTION

This utility is to compile a [**cbmc**(1)](/cbmc/1.md) 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

- **--out** *outfile*

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

- **--verbosity** #

  verbosity level

## 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)

## COPYRIGHT

2019, Diffblue