FreeBSD Manual Pages
SYMTAB2GB(1) User Commands SYMTAB2GB(1) 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) symbols table (in JSON format) into a GOTO binary. This is to support integration of external lan- guage frontends, such as Ada (using GNAT2GOTO: https://github.com/diff- blue/gnat2goto) or Rust (using Kani: https://github.com/model-check- ing/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 tempo- rary files and directories. BUGS If you encounter a problem please create an issue at https://github.com/diffblue/cbmc/issues SEE ALSO cbmc(1) COPYRIGHT 2019, Diffblue symtab2gb-5.59.0 June 2022 SYMTAB2GB(1)
NAME | SYNOPSIS | DESCRIPTION | OPTIONS | ENVIRONMENT | BUGS | SEE ALSO | COPYRIGHT
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=symtab2gb&sektion=1&manpath=FreeBSD+Ports+15.0>