falcon

Falcon is a formal binary analysis framework designed in Rust, focused on providing an expression-based intermediate language (IL) that draws influences from RREIL and Binary Ninja's LLIL. It features semantically-equivalent binary translators for x86, MIPS, and Arm64 architectures, along with support for ELF and PE files through lifters, and offers a fixed-point engine for advanced data-flow analysis and abstract interpretation. The tool aims to enhance binary analysis capabilities with its performant memory models and concrete execution environment.