jingle 0.5.1

SMT Modeling for Ghidra's PCODE
Documentation
1
2
3
4
5
6
7
8
pub mod instruction;
pub mod modeled_block;
pub mod modeled_instruction;
pub mod resolved_varnode;
pub mod sleigh_context;
pub mod state;
pub mod varode_iterator;
pub mod z3;