Welcome to Falcon

Falcon is a formal binary analysis framework in Rust. Falcon provides a platform for implementing data-flow analysis and abstract interpretation over binary executables.

• Expression-based IL with strong influences from Binary Ninja's' LLIL and RREIL.
• Semantically-equivalent binary translation.
• Fixed-point engine for data-flow analysis and abstract interpretation. Basic analyses provided.
• Lifters for Binary formats (initially Elf) via goblin.

Questions / Support

• I write about Falcon on my blog. Just posts about Falcon.
• I am idling in irc.freenode.net#rust-falcon.
• You can also find me in the Binary Ninja slack under the name "endeavor".