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
- ☆13Updated last year
- Linux kernel branches for confidential compute research☆17Updated 2 weeks ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated last year
- ☆24Updated 2 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆70Updated last year
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆40Updated last year
- ☆18Updated last year
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated last year
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- FunSeeker: Binary Function Identification Tool☆25Updated last year
- ☆36Updated last year
- Official repository of SyzRisk [ASIA CCS'24]☆11Updated 7 months ago
- ☆14Updated 2 years ago
- ☆42Updated 3 years ago
- kAFL Fuzzer☆33Updated last month
- 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
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆23Updated 2 years ago
- ☆10Updated 3 years ago
- ☆26Updated 2 years ago
- A Hybrid Alias Analysis☆18Updated last year
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆16Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- ☆37Updated 2 years ago
- ☆16Updated last year
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- ☆11Updated 2 years ago
- Tutorial to write qemu plugins☆32Updated 7 years ago
- Binary Only Thread Sanitizer☆14Updated 8 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- ☆14Updated 3 years ago