falcon 0.5.4

A Binary Analysis Framework in Rust
docs.rs failed to build falcon-0.5.4
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build: falcon-0.4.12

Build Status Crates.io Version

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 Arm64.
  • 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 (4.0.2) and clang.

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