https://github.com/falconre/falcon

Binary Analysis Framework in Rust
https://github.com/falconre/falcon

binary-analysis data-flow-analysis program-analysis rust

Last synced: 2 months ago
JSON representation

Binary Analysis Framework in Rust

• Host: GitHub
• URL: https://github.com/falconre/falcon
• Owner: falconre
• License: apache-2.0
• Created: 2017-05-04T17:10:21.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2024-01-22T21:37:08.000Z (12 months ago)
• Last Synced: 2024-10-08T11:28:46.894Z (3 months ago)
• Topics: binary-analysis, data-flow-analysis, program-analysis, rust
• Language: Rust
• Homepage:
• Size: 2.23 MB
• Stars: 549
• Watchers: 30
• Forks: 45
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-security - falcon - Binary Analysis Framework in Rust (Vulnerability Assessment / Binary Analysis & Reversing)
• awesome-rainmana - falconre/falcon - Binary Analysis Framework in Rust (Rust)

README

        
[![Build Status](https://travis-ci.org/falconre/falcon.svg?branch=master)](https://travis-ci.org/falconre/falcon)

[![Crates.io Version](https://img.shields.io/crates/v/falcon.svg)](https://crates.io/crates/falcon/)

# Welcome to Falcon

Falcon is a formal binary analysis framework in Rust.

* Expression-based IL with strong influences from RREIL and [Binary Ninja](https://binary.ninja)'s LLIL.

* Semantically-equivalent binary translators for 32/64-bit x86, Mips, and Arm64.

* Lifters for ELF and PE via [goblin](https://github.com/m4b/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](https://gitter.im/rust-falcon/Lobby). This is the most reliable way to contact us.

* You can also find me in the Binary Ninja slack under the name "endeavor".