symtab2gb1
Compile json symbol tables to a goto binary
Usage
- symtab2gb [-?] [-h] [--help]
-
symtab2gb [-?] [-h] [--help] show help
- symtab2gb json-symtab-file+ [--out outfile]
-
symtab2gb json-symtab-file+ [--out outfile] compile symbol tables in JSON format to a single GOTO binary
Overview
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.