MSRSSP / hyperfuzzer-seeds
☆9Updated 3 years ago
Alternatives and similar repositories for hyperfuzzer-seeds:
Users that are interested in hyperfuzzer-seeds are comparing it to the libraries listed below
- Linux kernel branches for confidential compute research☆17Updated last month
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated last year
- FunSeeker: Binary Function Identification Tool☆24Updated last year
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆24Updated 2 years ago
- ☆42Updated 2 years ago
- experiments for IJON☆12Updated 5 years ago
- ☆16Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆11Updated 2 years ago
- ☆24Updated 2 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆70Updated last year
- kAFL Fuzzer☆33Updated 3 weeks ago
- ☆25Updated 2 years ago
- ROP Benchmark is a tool to compare ROP compilers☆41Updated 2 years ago
- ☆53Updated 5 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- ☆36Updated 2 years ago
- AIL: The angr Intermediate Language.☆32Updated this week
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆32Updated last month
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆39Updated last year
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 5 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- ☆11Updated 3 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- ☆18Updated 3 years ago
- Tutorial to write qemu plugins☆31Updated 7 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆24Updated 5 months ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago