GitHub repository: pombredanne/falcon-1
Primary language: Rust
Description: Formal Binary Analysis Framework in Rust