falconre / falcon
Binary Analysis Framework in Rust
☆554Updated last year
Alternatives and similar repositories for falcon:
Users that are interested in falcon are comparing it to the libraries listed below
- Binary coverage tool without binary modification for Windows☆431Updated 4 years ago
- radare2-based decompiler and symbol executor☆374Updated 4 years ago
- high-level Capstone system bindings for Rust☆223Updated last week
- Symbolic execution of LLVM IR with an engine written in Rust☆542Updated last year
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆698Updated 9 months ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆470Updated 7 months ago
- Snapshot-based coverage-guided windows kernel fuzzer☆315Updated 3 years ago
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆598Updated last month
- The fastest Intel-PT decoder for fuzzing☆365Updated last year
- A fast Rust-based safe and thead-friendly grammar-based fuzz generator☆217Updated 4 years ago
- A fuzzer for full VM kernel/driver targets☆671Updated this week
- A static binary rewriter that does not use heuristics☆302Updated 6 years ago
- An amd64 symbolic emulator☆313Updated 3 years ago
- Intermediate Representation for Binary analysis and transformation☆323Updated this week
- Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…☆823Updated last year
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆577Updated 6 years ago
- High-performance QEMU memory and instruction tracing☆536Updated 6 months ago
- BINSEC binary-level open-source platform☆331Updated 6 months ago
- A Miasm2 based function divination.☆533Updated 4 years ago
- ☆379Updated 3 years ago
- Rust bindings for the unicorn CPU emulator☆139Updated 4 years ago
- ☆173Updated 2 years ago
- Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)☆499Updated 3 years ago
- Rellic produces goto-free C output from LLVM bitcode☆548Updated 5 months ago
- A lightweight dynamic instrumentation library☆1,206Updated last month
- A Turing complete ROP compiler☆319Updated 11 years ago
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆254Updated last month
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆459Updated 2 months ago
- Use angr in Ghidra☆568Updated 6 months ago
- AFL/QEMU fuzzing with full-system emulation.☆628Updated 6 years ago