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

Last modified: 2023-11-29 15:38:05 +0000