vul337 / EnclaveFuzz
Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"
☆24Updated 5 months ago
Alternatives and similar repositories for EnclaveFuzz:
Users that are interested in EnclaveFuzz are comparing it to the libraries listed below
- ☆25Updated 2 years ago
- ViDeZZo source code.☆35Updated 3 months ago
- uacatcher open source repo☆19Updated last year
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆35Updated 4 months ago
- ☆12Updated last year
- ☆13Updated last year
- ☆51Updated 10 months ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆59Updated 4 months ago
- ☆12Updated 4 months ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆33Updated 10 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- RetSpill: Igniting User-Controlled Data to Burn Away Linux Kernel Protections☆55Updated 11 months ago
- ☆34Updated last year
- ☆13Updated 3 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆28Updated 9 months ago
- ☆22Updated 5 years ago
- A tool for automatically identifying syscall-guard variables☆34Updated 7 months ago
- An Automated Heap Feng Shui Tool☆16Updated 2 years ago
- ☆61Updated 2 years ago
- ☆17Updated last year
- ☆25Updated 3 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated 10 months ago
- The published code repo for the Cortex-M SoK paper.☆19Updated last week
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆26Updated last year
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆24Updated 2 years ago
- A framework to test the correctness of the Linux kernel patch.☆22Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆73Updated 2 years ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆78Updated 2 years ago
- ☆39Updated 2 years ago
- ☆37Updated 2 years ago