falcon
cargo install falcon

falcon

Binary Analysis Framework in Rust

by falconre

0.5.0 (see all)License:Apache-2.0
cargo install falcon
Readme

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.

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

  • There is an infrequently checked IRC channel at irc.freenode.net#rust-falcon.
  • There is a more frequently checked Gitter.
  • You can also find me in the Binary Ninja slack under the name "endeavor".

GitHub Stars

415

LAST COMMIT

10mos ago

MAINTAINERS

1

CONTRIBUTORS

12

OPEN ISSUES

2

OPEN PRs

0
VersionTagPublished
0.5.0
2yrs ago
0.4.12
2yrs ago
0.4.11
2yrs ago
0.4.10
2yrs ago
No alternatives found
No tutorials found
Add a tutorial