Package cbmc

• cbmc(1) — Bounded Model Checker for C/C++ and Java programs
• crangler(1) — C source transformation
• goto-analyzer(1) — Data-flow analysis for C programs and goto binaries
• goto-cc(1) — C/C++ to goto compiler
• goto-diff(1) — Syntactic diff of goto binaries
• goto-harness(1) — Generate environments for symbolic analysis
• goto-instrument(1) — Perform analysis or instrumentation of goto binaries
• goto-synthesizer(1) — Synthesize and apply loop contracts of goto binaries.
• memory-analyzer(1) — Snapshot program state for symbolic analysis
• symtab2gb(1) — Compile JSON symbol tables to a GOTO binary