Skip to content

/falcon

Formal Binary Analysis Framework in Rust
binary-analysis rust program-analysis data-flow-analysis
  1. Rust 99.7%
  2. Other 0.3%
Branch: master
Find File
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Open in Desktop Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
lib
scripts
.ci.sh
.gitignore
.travis.yml
CONTRIBUTING.md
Cargo.toml
Dockerfile
Dockerfile.stretch
LICENSE
README.md

README.md

Build Status Crates.io Version Documentation irc.freenode.net#rust-falcon

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 irc.freenode.net#rust-falcon.
  • You can also find me in the Binary Ninja slack under the name "endeavor".
You can’t perform that action at this time.