kaist-hacking / HardsHeapLinks
HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators
☆36Updated 3 years ago
Alternatives and similar repositories for HardsHeap
Users that are interested in HardsHeap are comparing it to the libraries listed below
Sorting:
- ☆38Updated 2 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆138Updated 4 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆86Updated last month
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆25Updated 7 years ago
- ArcHeap: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives☆156Updated 4 years ago
- Challenging testcases for fuzzers☆72Updated last year
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆46Updated last year
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 8 months ago
- Tutorial to write qemu plugins☆33Updated 8 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago
- ☆86Updated 4 months ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆31Updated 3 years ago
- ☆96Updated 6 years ago
- ☆43Updated 3 years ago
- kAFL Fuzzer☆34Updated 5 months ago
- Snapshot fuzzing with KVM and LibAFL☆96Updated 3 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆70Updated 3 years ago
- Scalable Validator for Binary Lifters☆57Updated 5 years ago
- Rust bindings for googleprojectzero/TinyInst☆22Updated 4 months ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆149Updated 4 years ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 2 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆89Updated 3 years ago
- ☆38Updated 5 years ago
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Updated last year
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆123Updated 4 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆125Updated 5 years ago
- ☆68Updated 2 years ago
- ☆25Updated last year
- ☆48Updated 3 years ago