Formal Binary Analysis Framework in Rust
Clone or download
Latest commit f892684 Nov 13, 2018
Type Name Latest commit message Commit time
Failed to load latest commit information.
lib falcon 0.4.4 Nov 13, 2018
scripts function entry names should be optional (#27) Oct 19, 2017 New memory (#31) Nov 4, 2017
.gitignore loader documented Aug 6, 2017
.travis.yml adding coveralls ci Oct 7, 2017 Create Nov 9, 2017
Cargo.toml falcon 0.4.4 Nov 13, 2018
Dockerfile New memory (#31) Nov 4, 2017
Dockerfile.stretch New memory (#31) Nov 4, 2017
LICENSE Update LICENSE May 23, 2017 Update Mar 18, 2018

Build Status Version Documentation

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.
  • Gluon scripting bindings provided with Osprey.

Questions / Support

  • I write about Falcon on my blog. Just posts about Falcon.
  • I am idling in
  • You can also find me in the Binary Ninja slack under the name "endeavor".