Expand description
The stm2patch library provides the SMT2 “patching” functionalities and
configurations used by the binary tool smt2patch.
Structs§
- Patcher
- State of the SMT2 patcher.
- Patcher
Config - Rewriter
- State of the SMT2 rewriter.
- Rewriter
Config - Configuration for the SMT2 rewriting operations.