Welcome to Falcon

Falcon is a formal binary analysis framework in Rust.

• Expression-based IL with strong influences from RREIL and Binary Ninja's LLIL.
• Semantically-equivalent binary translators for 32/64-bit x86, Mips, and Mipsel.
• Lifters for ELF and PE via goblin.
• Fixed-point engine for data-flow analysis and abstract interpretation.
• Performant memory models for analysis.
• A concrete executor over Falcon IL.

Building

• Several scripts to get you up-and-running with Falcon can be found in the scripts/ directory.
• Dependencies are capstone and clang.
• Falcon works out of the box with capstone4.

Questions / Support

• We have a Gitter. This is the most reliable way to contact us.
• You can also find me in the Binary Ninja slack under the name "endeavor".
• There is an infrequently checked IRC channel at irc.freenode.net#rust-falcon.