jdkleuver / PcodeSymLinks
A Ghidra extension that allows you to run Angr symbolic execution using the Pcode from Ghidra.
☆16Updated 4 years ago
Alternatives and similar repositories for PcodeSym
Users that are interested in PcodeSym are comparing it to the libraries listed below
Sorting:
- ☆187Updated 2 years ago
- Repository for monolithic firmware blobs☆87Updated 3 years ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆185Updated 3 years ago
- Fuzzing Embedded Systems using Hardware Breakpoints☆191Updated 2 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆89Updated 11 months ago
- ☆329Updated last year
- ☆67Updated 6 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆116Updated last year
- ☆96Updated 2 years ago
- ☆136Updated 3 years ago
- ☆88Updated 6 months ago
- Fuzzware's main repository. Start here to install.☆352Updated 4 months ago
- PASTIS: Collaborative Fuzzing Framework☆162Updated last month
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆118Updated 7 months ago
- ☆53Updated 5 months ago
- ☆70Updated last year
- This is the source code for P2IM paper (accepted to Usenix Security'20)☆141Updated 2 years ago
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆195Updated last year
- autofz: Automated Fuzzer Composition at Runtime☆83Updated 2 years ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆132Updated last year
- Same-Architecture Firmware Rehosting and Fuzzing☆125Updated 11 months ago
- Main HALucinator branch☆50Updated 3 months ago
- ☆262Updated 2 years ago
- ☆147Updated last year
- Recent security papers on firmware analysis☆76Updated 4 years ago
- ☆196Updated 2 years ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆196Updated 3 years ago
- ☆189Updated 9 months ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated last year
- ☆76Updated 3 years ago