Binary Analysis Framework in Rust
☆582Jan 22, 2024Updated 2 years ago
Alternatives and similar repositories for falcon
Users that are interested in falcon are comparing it to the libraries listed below
Sorting:
- An impish, cross-platform binary parsing crate, written in Rust☆1,446Feb 12, 2026Updated 3 weeks ago
- A binary analysis framework written in Rust.☆175Updated this week
- Symbolic execution of LLVM IR with an engine written in Rust☆580Oct 27, 2023Updated 2 years ago
- Intermediate Representation for Binary analysis and transformation☆349Jan 14, 2026Updated last month
- A fast and accurate disassembler☆739Jan 23, 2026Updated last month
- Binary Analysis Platform☆2,214Apr 30, 2025Updated 10 months ago
- A Miasm2 based function divination.☆543Jun 9, 2020Updated 5 years ago
- Library for lifting machine code to LLVM bitcode☆1,605Feb 13, 2026Updated 2 weeks ago
- revng: the core repository of the rev.ng project☆1,633Feb 25, 2026Updated last week
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,751Apr 26, 2022Updated 3 years ago
- Automated static analysis tools for binary programs☆1,675Dec 18, 2025Updated 2 months ago
- radare2-based decompiler and symbol executor☆385Feb 24, 2026Updated last week
- SymCC: efficient compiler-based symbolic execution☆856May 12, 2025Updated 9 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆588Feb 20, 2026Updated last week
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆4,070Dec 2, 2025Updated 3 months ago
- Ghidra Program Analysis Library☆346Jun 28, 2023Updated 2 years ago
- Open source binary analysis tools.☆248Jan 30, 2026Updated last month
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆322Jan 4, 2024Updated 2 years ago
- A powerful static binary rewriting tool☆1,095Updated this week
- Symbolic Execution over Falcon IL☆30Aug 28, 2021Updated 4 years ago
- The fastest Intel-PT decoder for fuzzing☆378Feb 2, 2024Updated 2 years ago
- A lightweight dynamic instrumentation library☆1,314Updated this week
- Open-source symbolic execution framework: https://maat.re☆648Feb 22, 2026Updated last week
- Rellic produces goto-free C output from LLVM bitcode☆593Feb 12, 2026Updated 2 weeks ago
- A Dynamic Binary Instrumentation framework based on LLVM.☆1,734Feb 20, 2026Updated last week
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆209Updated this week
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆736Apr 26, 2025Updated 10 months ago
- dynamic binary analysis via platform emulation☆904Jun 1, 2023Updated 2 years ago
- Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…☆1,846Feb 25, 2025Updated last year
- A Coverage Explorer for Reverse Engineers☆2,505Feb 14, 2026Updated 2 weeks ago
- Reverse engineering framework in Python☆3,828Jan 26, 2025Updated last year
- A libre cross-platform disassembler.☆1,442Jan 3, 2019Updated 7 years ago
- Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…☆886Nov 21, 2023Updated 2 years ago
- symbolic execution engine for Rust☆359Jul 17, 2018Updated 7 years ago
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆621Dec 20, 2024Updated last year
- anvill forges beautiful LLVM bitcode out of raw machine code☆366Sep 3, 2024Updated last year
- Binja Arm64 Disassembler☆100Feb 10, 2026Updated 3 weeks ago
- Program analysis tools developed at Draper on the CBAT project.☆106Apr 13, 2023Updated 2 years ago
- High-level Capstone system bindings for Rust☆267Feb 24, 2026Updated last week