Development
Development
Guides for building, understanding, and contributing to ESBMC. If you’re new, start with the Build Guide and the Architecture overview.
Understanding ESBMC
Build ESBMC from source on your platform.
How the parser, GOTO program, symbolic execution, and SMT backend fit together.
The core algorithms ESBMC runs between the frontend and the solver.
Browse or build the Doxygen reference for ESBMC’s C++ classes.
Extending ESBMC
Add support for a new source language.
Extend the IRep2 internal representation with new expressions.
Model C/C++ library and runtime behaviour for verification.
Implement theories and integrate or update SMT solvers.