cprover
Code Walkthrough
Author
Cesar Rodriguez, Owen Jones

Data structures: core structures and AST

The core structures used for representing abstract syntax trees are all documented in util.

Data structures: from AST to GOTO program

See goto-programs, goto_programt and instructiont.

Front-end languages: generating codet from multiple languages

language_uit, language_filest, languaget classes:

See langapi.

C

See ansi-c.

C++

See cpp.

Java bytecode

See java_bytecode.

Bmct class

equation

See Overview.

Symbolic executors

Symbolic execution

See Overview.

Solvers infrastructure

See Overview.

Static analysis APIs

See analyses and pointer-analysis.