Crate smt2patch[−][src]
The stm2patch library provides the SMT2 “patching” functionalities and
configurations used by the binary tool smt2patch.
Structs
| Patcher | State of the SMT2 patcher. |
| PatcherConfig | |
| Rewriter | State of the SMT2 rewriter. |
| RewriterConfig | Configuration for the SMT2 rewriting operations. |