vlad902 / kernel-uninitialized-memory-checkerLinks
A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
☆59Updated 6 years ago
Alternatives and similar repositories for kernel-uninitialized-memory-checker
Users that are interested in kernel-uninitialized-memory-checker are comparing it to the libraries listed below
Sorting:
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆12Updated 8 years ago
- run AFL with pintool☆66Updated 5 years ago
- Automatically exported from code.google.com/p/kemufuzzer☆26Updated 10 years ago
- KLEE-TAINT - Klee with taint analysis support☆70Updated 7 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- ☆17Updated 6 years ago
- ☆31Updated 5 years ago
- Test case minimizer for afl-fuzz☆26Updated 8 years ago
- Example of manipulating Firefox's jemalloc-managed heap☆28Updated 12 years ago
- just an experiment☆22Updated 6 years ago
- K-Hunt: Pinpointing Insecure Crypto Keys☆44Updated 6 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- Use Dispatch to add AFL-compatible instrumentation to your binaries☆12Updated 8 years ago
- Security Evaluation of Dynamic Binary Instrumentation Engines☆80Updated 6 years ago
- Signedness-Agnostic Strided-Interval☆38Updated 6 years ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 4 years ago
- Source code for building an exploitable linux kernel challenge iso.☆46Updated 11 years ago
- Recover control flow graph from obfuscated codes☆39Updated 10 years ago
- ☆27Updated 6 years ago
- Futile attempt to solve the Tigress challenges using angr☆22Updated 6 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- Some glue facilitating remote use of IDA (the Interactive DisAssembler) Python API.☆77Updated 5 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆34Updated 5 years ago
- ☆16Updated 7 years ago
- Bootloader research tools (very much a work in progress)☆37Updated 6 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 4 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆29Updated 6 years ago
- Abstract library to generate angr states from a debugger state☆60Updated 5 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Updated 5 years ago