\ingroup module_hidden 

\page code-walkthrough Code Walkthrough

\author Cesar Rodriguez, Owen Jones

\section data-structures-core-structures-and-ast-section Data structures: core structures and AST

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

\section data-structures-from-ast-to-goto-program-section Data structures: from AST to GOTO program

See \ref goto-programs, \ref goto_programt and [instructiont](\ref goto_programt::instructiont).

\section front-end-languages-generating-codet-from-multiple-languages-section Front-end languages: generating codet from multiple languages

\subsection language-uit-section language_filest, languaget classes:

See \ref langapi.

\subsection languages-c-section C

See \ref ansi-c.

\subsection languages-cpp-section C++

See \ref cpp.

\subsection languages-java-section Java bytecode

See \ref java_bytecode.

\section bmct-class-section Bmct class

\subsection equation-section equation

See \ref symex-overview.


\section symbolic-executors-section Symbolic executors

\subsection symbolic-execution-section Symbolic execution

See \ref symex-overview.


\section solvers-infrastructure-section Solvers infrastructure

See \ref solvers-overview.

\section  static-analysis-apis-section Static analysis APIs

See \ref analyses and \ref pointer-analysis.
