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:
- Fuzzing Embedded Systems using Hardware Breakpoints☆188Updated last year
- Fuzzware's main repository. Start here to install.☆350Updated 2 months ago
- ☆183Updated last year
- ☆82Updated 4 months ago
- ☆256Updated 2 years ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆180Updated 3 years ago
- ☆66Updated 4 months ago
- Produce code coverage results with gcov from afl-fuzz test cases☆87Updated 8 months ago
- Repository for monolithic firmware blobs☆84Updated 3 years ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆110Updated 5 months ago
- Same-Architecture Firmware Rehosting and Fuzzing☆126Updated 9 months ago
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆187Updated last year
- ☆193Updated 2 years ago
- ☆327Updated last year
- Main HALucinator branch☆46Updated 3 weeks ago
- PASTIS: Collaborative Fuzzing Framework☆162Updated 2 weeks ago
- AFL binary instrumentation☆299Updated 8 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆113Updated 10 months ago
- A Framework for fuzzing USB Drivers by Device Emulation☆124Updated 4 years ago
- A grammar-based custom mutator for AFL++☆259Updated last year
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆138Updated last year
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆127Updated last year
- A versatile and easy-to-use static binary patching tool.☆43Updated last week
- A de-socketing library for fuzzing.☆158Updated last month
- Symbolic Execution Over Processor Traces☆122Updated last year
- Linux Kernel Fuzzer Corpus☆146Updated this week
- ☆184Updated 7 months ago
- Public Source code Release of Theori's AIxCC AFC Submission☆157Updated last month
- 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
- Pyhidra is a Python library that provides direct access to the Ghidra API within a native CPython interpreter using jpype.☆207Updated 10 months ago