24 releases

0.5.5 Feb 15, 2023
0.5.4 Jan 13, 2022
0.5.2 Aug 26, 2021
0.5.1 Apr 13, 2021
0.0.1 Mar 30, 2015

#3 in #binary-analysis

Download history 64/week @ 2023-05-30 9/week @ 2023-06-06 33/week @ 2023-06-13 101/week @ 2023-06-20 44/week @ 2023-06-27 58/week @ 2023-07-04 29/week @ 2023-07-11 41/week @ 2023-07-18 45/week @ 2023-07-25 19/week @ 2023-08-01 30/week @ 2023-08-08 61/week @ 2023-08-15 44/week @ 2023-08-22 23/week @ 2023-08-29 97/week @ 2023-09-05 49/week @ 2023-09-12

216 downloads per month
Used in 4 crates

Apache-2.0 and LGPL-3.0

1MB
24K SLoC

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

Dependencies

~8–11MB
~231K SLoC