vlad902 / kernel-intoverflow-taint-checker
A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.
☆18Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for kernel-intoverflow-taint-checker
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆12Updated 7 years ago
- Tools released in CSS 2019☆38Updated 5 years ago
- Toy binaries to play with -fsanitize=safe-stack/cfi☆9Updated 9 years ago
- Automatically exported from code.google.com/p/kemufuzzer☆27Updated 9 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- A stateful fuzzing engine.☆46Updated 6 years ago
- Python portage of the Microcode Explorer plugin☆31Updated 5 years ago
- ☆31Updated 6 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- convert binary to VEX IR using the C interface provided by pyvex.☆16Updated 2 years ago
- PoC for CVE-2017-0075☆36Updated 5 years ago
- ☆8Updated 8 years ago
- PoC code for CVE-2018-9539☆18Updated 6 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆19Updated last year
- Dynamic Control Flow Recovery☆24Updated 6 years ago
- ghidra scripts☆15Updated 3 years ago
- just an experiment☆20Updated 6 years ago
- Control Flow Guard bypass using LoadLibrary and IsBadCodePtr☆45Updated 7 years ago
- Universal Trace Debugger Engine. Currently, only support windbg on Windows, but the long term goal is to also support GDB or LLDB☆13Updated 10 years ago
- ☆14Updated 6 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Updated 6 years ago
- Architecture-agnostic ROP gadget finder using JEB's IR☆22Updated 7 years ago
- use afl to fuzz swift program☆24Updated 7 years ago
- Malware analysis tool based on taint analysis.☆14Updated 2 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 6 years ago
- keynote I gave at GreHack 2019☆18Updated 5 years ago
- Immunity Debugger Taint Tracer☆20Updated 11 years ago
- Plugins for IDA Pro and Hex-Rays☆40Updated 6 years ago