2 \page code-walkthrough Code Walkthrough
4 \author Cesar Rodriguez, Owen Jones
6 \section data-structures-core-structures-and-ast-section Data structures: core structures and AST
8 The core structures used for representing abstract syntax trees are all
9 documented in \ref util.
11 \section data-structures-from-ast-to-goto-program-section Data structures: from AST to GOTO program
13 See \ref goto-programs, \ref goto_programt and [instructiont](\ref goto_programt::instructiont).
15 \section front-end-languages-generating-codet-from-multiple-languages-section Front-end languages: generating codet from multiple languages
17 \subsection language-uit-section language_uit, language_filest, languaget classes:
21 \subsection languages-c-section C
25 \subsection languages-cpp-section C++
29 \subsection languages-java-section Java bytecode
31 See \ref java_bytecode.
33 \section bmct-class-section Bmct class
35 \subsection equation-section equation
37 See \ref symex-overview.
40 \section symbolic-executors-section Symbolic executors
42 \subsection symbolic-execution-section Symbolic execution
44 See \ref symex-overview.
47 \section solvers-infrastructure-section Solvers infrastructure
49 See \ref solvers-overview.
51 \section static-analysis-apis-section Static analysis APIs
53 See \ref analyses and \ref pointer-analysis.