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 3 months ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆69Updated last year
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆24Updated 2 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆39Updated last year
- Tutorial to write qemu plugins☆31Updated 7 years ago
- ☆16Updated last year
- FunSeeker: Binary Function Identification Tool☆24Updated last year
- kAFL Fuzzer☆33Updated 5 months ago
- A testcase generation tool for Persistent Memory Programs.☆15Updated 3 years ago
- ☆12Updated 2 years ago
- ☆25Updated 2 years ago
- 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
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆43Updated last week
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆22Updated 3 months ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆38Updated 4 years ago
- Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19☆21Updated 2 years ago
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆25Updated last year
- AIL: The angr Intermediate Language.☆31Updated this week
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆11Updated 3 years ago
- A version of Griffin used to provide program traces☆15Updated 4 years ago
- ROP Benchmark is a tool to compare ROP compilers☆41Updated 2 years ago
- ☆35Updated 2 years ago
- A tool to sample a QEMU-KVM's memory access pattern at page level based on Intel VT-x☆21Updated 5 years 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
- experiments for IJON☆11Updated 5 years ago
- Benchmark to test different stop the exploit mitigations☆18Updated 6 years ago
- ☆11Updated 2 years ago