jingle 0.5.4

SMT Modeling for Ghidra's PCODE
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
pub mod analysis;
pub mod display;
mod error;
pub mod modeling;
#[cfg(feature = "pyo3")]
pub mod python;
mod translator;
pub mod varnode;

pub use jingle_sleigh as sleigh;

pub use error::JingleError;
pub use translator::SleighTranslator;