symtab2gb - Man Page

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

Referenced By

memory-analyzer(1).

June 2022 symtab2gb-5.59.0