欢迎使用猎鹰

猎鹰是 Rust 中的一个形式化二进制分析框架。

• 基于表达式的 IL，受到 RREIL 和 Binary Ninja 的 LLIL 的影响。
• 32/64 位 x86、Mips 和 Arm64 的语义等效的二进制翻译器。
• 通过 goblin 实现 ELF 和 PE 的提升。
• 用于数据流分析和抽象解释的定点引擎。
• 高性能内存模型用于分析。
• 在 Falcon IL 上的具体执行器。

构建

• 可以在 scripts/ 目录中找到一些脚本，帮助您启动 Falcon。
• 依赖项为 capstone (4.0.2) 和 clang。

问题 / 支持

• 我们有一个 Gitter。这是联系我们的最可靠方式。
• 您也可以在 Binary Ninja 的 slack 中找到我，名字是 "endeavor"。