jdkleuver / PcodeSymLinks
A Ghidra extension that allows you to run Angr symbolic execution using the Pcode from Ghidra.
☆16Updated 3 years ago
Alternatives and similar repositories for PcodeSym
Users that are interested in PcodeSym are comparing it to the libraries listed below
Sorting:
- ☆77Updated 3 months ago
- Fuzzing Embedded Systems using Hardware Breakpoints☆187Updated last year
- ☆182Updated last year
- A collection of resources/tools and analyses for the angr binary analysis framework.☆178Updated 3 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆85Updated 7 months ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆106Updated 3 months ago
- Repository for monolithic firmware blobs☆83Updated 3 years ago
- ☆325Updated last year
- ☆90Updated 2 years ago
- Same-Architecture Firmware Rehosting and Fuzzing☆126Updated 7 months ago
- Fuzzware's main repository. Start here to install.☆343Updated 3 weeks ago
- PASTIS: Collaborative Fuzzing Framework☆163Updated this week
- Main HALucinator branch☆44Updated last year
- A versatile and easy-to-use static binary patching tool.☆39Updated last month
- ☆65Updated 2 months ago
- Symbolic Execution Over Processor Traces☆122Updated 11 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆113Updated 8 months ago
- ☆136Updated 3 years ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆125Updated last year
- ☆66Updated last year
- ☆189Updated 2 years ago
- ☆51Updated last month
- A de-socketing tool that is 10x faster than desock (Preeny) in fuzzing network protocols☆88Updated 3 years ago
- Blogpost about optimizing binary-only fuzzing with AFL++☆66Updated last year
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆139Updated last year
- NDSS 2020 - HYPER-CUBE: High-Dimensional Hypervisor Fuzzing☆64Updated 2 years ago
- High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques☆153Updated last year
- A patched QEMU that exposes an interface for LibAFL-based fuzzers☆81Updated 2 months ago
- LibAFL components for stateful fuzzing☆51Updated 3 years ago
- autofz: Automated Fuzzer Composition at Runtime☆79Updated last year