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.
- 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".