kaist-hacking / HardsHeap
HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators
☆34Updated 3 years ago
Alternatives and similar repositories for HardsHeap:
Users that are interested in HardsHeap are comparing it to the libraries listed below
- Tutorial to write qemu plugins☆31Updated 7 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Linux kernel branches for confidential compute research☆17Updated 2 months ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆65Updated 3 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆136Updated 3 years ago
- ☆40Updated 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
- ☆35Updated 2 years ago
- ArcHeap: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives☆148Updated 3 years ago
- ☆96Updated 5 years ago
- ☆63Updated 2 years 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
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 3 weeks ago
- ☆16Updated 5 years ago
- Linux Kernel Snapshot Fuzzer using KVM☆47Updated 11 months ago
- ☆13Updated 3 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆69Updated last year
- kAFL Fuzzer☆33Updated 4 months ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆128Updated 2 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- Fuzzing Parsers with Tokens☆32Updated 4 years ago
- ☆44Updated 3 years ago
- ☆24Updated last year
- ☆25Updated 6 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago