vmware-archive / vmmfuzzerLinks
A hypervisor or virtual machine monitor (VMM) fuzzer
☆28Updated 5 years ago
Alternatives and similar repositories for vmmfuzzer
Users that are interested in vmmfuzzer are comparing it to the libraries listed below
Sorting:
- x86 Dynamic Binary Translator Library☆34Updated 4 years ago
- S2E Core Engine Library☆15Updated 5 years ago
- libs2e.so☆20Updated 4 years ago
- ☆14Updated 7 years ago
- Basic x86 Symbolic Execution for educational purposes☆18Updated 8 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 7 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆12Updated 7 years ago
- Static analysis tools for x86 assembly☆13Updated 8 years ago
- Triton based R2 plugin for concolic execution and total control☆32Updated 6 years ago
- Automatically exported from code.google.com/p/kemufuzzer☆26Updated 10 years ago
- Tiny project with that demonstrates how to enable Return Flow Guard☆12Updated 8 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆34Updated 7 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 5 years ago
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆35Updated 6 years ago
- ROP Payload Compiler☆11Updated 8 years ago
- Microsoft Edge MemGC Internals☆17Updated 9 years ago
- ROP database plugin for IDA☆31Updated 7 years ago
- Python based angr plug in for IDA Pro.☆35Updated 7 years ago
- Control Flow Guard bypass using LoadLibrary and IsBadCodePtr☆45Updated 8 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Updated 6 years ago
- ☆15Updated 9 years ago
- deprecated☆26Updated 6 years ago
- Linux kernel JIT spray for SMEP / KERNEXEC bypass☆55Updated 12 years ago
- A stateful fuzzing engine.☆45Updated 6 years ago
- ☆8Updated 8 years ago
- Bootloader research tools (very much a work in progress)☆37Updated 6 years ago
- ☆31Updated 7 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆19Updated 7 years ago
- FAROS: Illuminating In-Memory Injection Attacks via Provenance-based Whole System Dynamic Information Flow Tracking☆17Updated 7 years ago
- Recover control flow graph from obfuscated codes☆38Updated 9 years ago