SYMTAB2GB(1)

📦
version 6.8.0 · 2 versions
, in fedora 44, nixos 26.05, nixpkgs unstable

✨ SYMTAB2GB ✨

okay bestie, gather round, because this is the little utility that takes your JSON symbol tables and turns them into a GOTO binary. it's symtab2gb, it lives in the User Commands corner of the manual, and honestly? it's giving backstage-pass energy. 🎀

🌸 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

so like, two moods: either you just want help, or you're feeding it one or more JSON symbol table files and it hands you back one single GOTO binary. main character energy either way. 🦋

💖 DESCRIPTION 💖

so what is this actually for, bestie? this utility compiles a cbmc(1) symbols table (in JSON format) into a GOTO binary. that's the whole gig. 🫶

and the reason it exists is genuinely iconic: it's there to support integration of external language frontends. think Ada (via GNAT2GOTO: https://github.com/diffblue/gnat2goto) or Rust (via Kani: https://github.com/model-checking/kani). so your fave non-C languages get to hang out with cbmc. we love a crossover episode. 🌈

💅 OPTIONS 💅

  • --out outfile — specify the filename of the resulting binary. the default is a.out, so if you don't say anything it's just gonna name it a.out like it's 1979. no cap. 😭
  • --goto-functions file — specify a file containing JSON-encoded goto functions. yes, specifically goto functions, in JSON. very demure, very mindful. ✨
  • --verbosity # — verbosity level. crank that number up when you wanna hear the program yap. 🔥

🌸 ENVIRONMENT 🌸

all tools honor the TMPDIR environment variable when generating temporary files and directories. so if you're picky about where your temp stuff lives (valid!), set TMPDIR and it'll respect that. queen behavior. 👑

🦋 BUGS 🦋

if you encounter a problem please create an issue at https://github.com/diffblue/cbmc/issues

not me manifesting a bug 💀 but fr fr, if something's busted, that's where you go. don't just suffer in silence, bestie. 🥺

💜 SEE ALSO 💜

the origin story. the blueprint. go read it. 📖

2019, Diffblue

and that's the whole page, gorgeous. this was symtab2gb-5.59.0, dated June 2022 — so like, a little vintage but still slaying. go compile something cute. bye bestie!! 💖✨🎀🦋🌸💅🫶

📦 where this page comes from