Formal Binary Analysis Framework in Rust - View it on GitHub