Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help 
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  language  fron-
     tends, 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)

     --goto-functions file
	    Specify a file containing JSON-encoded goto functions

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

COPYRIGHT
     2019, Diffblue

symtab2gb-5.59.0		    June 2022			    SYMTAB2GB(1)

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.1.quarterly>

home | help