jingle
| Crates.io | jingle |
| lib.rs | jingle |
| version | 0.1.1 |
| source | src |
| created_at | 2024-05-21 16:56:31.85266 |
| updated_at | 2024-05-22 09:30:24.690371 |
| description | SMT Modeling for Ghidra's PCODE |
| homepage | https://github.com/toolCHAINZ/jingle |
| repository | https://github.com/toolCHAINZ/jingle |
| max_upload_size | |
| id | 1247011 |
| size | 71,956 |
(toolCHAINZ)
documentation
README
jingle: Z3 + SLEIGH
jingle uses the sleigh bindings provided by jingle_sleigh and the excellent
z3 bindings from the z3 crate to provide SMT modeling of sequences of PCODE instructions