GitHub repository: toolCHAINZ/jingle
Primary language: Rust
Created: 2024-05-21T09:05:03Z
Description: SMT Modeling for Ghidra's PCODE