kaist-hacking / HardsHeap
HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators
☆34Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for HardsHeap
- kAFL Fuzzer☆33Updated 2 months ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆79Updated 3 weeks ago
- ArcHeap: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives☆144Updated 3 years ago
- Linux kernel branches for confidential compute research☆16Updated 3 weeks ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 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
- ROP Benchmark is a tool to compare ROP compilers☆39Updated last year
- ☆95Updated 5 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Tutorial to write qemu plugins☆31Updated 7 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆135Updated 3 years ago
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆26Updated 6 years ago
- ☆36Updated 2 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆69Updated last year
- Tool to extract the kallsyms (System.map) from a memory dump☆24Updated last year
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆63Updated 2 years ago
- Recover mutation graph from an AFL seed☆59Updated 3 years ago
- ☆81Updated 2 months ago
- Linux Kernel Snapshot Fuzzer using KVM☆46Updated 9 months ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 2 years ago
- ☆24Updated last year
- ☆13Updated 2 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆128Updated 2 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- ☆43Updated 3 years ago