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
- ☆12Updated 2 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆23Updated 2 years ago
- ☆13Updated last year
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆21Updated 7 years ago
- ☆16Updated last year
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆70Updated last year
- Official repository of SyzRisk [ASIA CCS'24]☆11Updated 8 months ago
- Library to hide DBI artifacts when using Intel Pin. Code from the ASIA CCS 2019 paper "SoK: Using Dynamic Binary Instrumentation for Secu…☆22Updated 5 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 3 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 3 years ago
- ☆14Updated 2 years ago
- kAFL Fuzzer☆33Updated last month
- ROP Benchmark is a tool to compare ROP compilers☆42Updated 2 years ago
- ☆19Updated 4 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- Linux kernel branches for confidential compute research☆17Updated last month
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- ☆42Updated 3 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆23Updated 5 months ago
- ☆24Updated last year
- ☆24Updated 2 years ago
- Tutorial to write qemu plugins☆33Updated 7 years ago
- experiments for IJON☆12Updated 5 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- ☆12Updated 3 years ago
- ☆18Updated last year
- ☆27Updated 2 years ago
- ☆37Updated 2 years ago