jdkleuver / PcodeSym
A Ghidra extension that allows you to run Angr symbolic execution using the Pcode from Ghidra.
☆17Updated 3 years ago
Alternatives and similar repositories for PcodeSym
Users that are interested in PcodeSym are comparing it to the libraries listed below
Sorting:
- Same-Architecture Firmware Rehosting and Fuzzing☆124Updated 4 months ago
- SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.☆24Updated 3 years ago
- Repository for monolithic firmware blobs☆77Updated 3 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆82Updated 4 months ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆95Updated last month
- ☆60Updated this week
- ☆71Updated 2 years ago
- ☆50Updated last year
- Symbolic Execution Over Processor Traces☆121Updated 9 months ago
- ☆69Updated last week
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆83Updated last week
- Code Property Graph (CPG) frontend for binary applications and libraries.☆90Updated 3 years ago
- AFL bindings for Unicorn-Engine☆77Updated last week
- A patched QEMU that exposes an interface for LibAFL-based fuzzers☆73Updated last week
- Blogpost about optimizing binary-only fuzzing with AFL++☆64Updated last year
- ☆161Updated 3 years ago
- ☆27Updated 3 years ago
- A data-flow-guided fuzzer☆119Updated last year
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆42Updated last year
- High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques☆152Updated last year
- ☆20Updated 3 years ago
- ☆38Updated 4 years ago
- Material and examples for a presentation on static binary analysis.☆42Updated 4 years ago
- ☆65Updated 6 months ago
- ☆57Updated 4 months ago
- ☆24Updated 2 years ago
- angr's exploration technique to perform taint analysis☆61Updated 5 years ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆176Updated 2 years ago
- ☆15Updated 2 months ago
- ☆19Updated 2 years ago