- 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_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.