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
- ☆36Updated 2 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- Linux kernel branches for confidential compute research☆17Updated last week
- kAFL Fuzzer☆33Updated this week
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆81Updated last week
- ☆24Updated last year
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 2 months ago
- ArcHeap: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives☆149Updated 3 years ago
- ☆35Updated 3 years ago
- ☆13Updated 3 years ago
- Custom Agent and Tooling for using Nyx with Firefox☆18Updated 6 months ago
- ☆96Updated 5 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
- ☆53Updated 5 years ago
- ☆41Updated 2 years ago
- Tool to extract the kallsyms (System.map) from a memory dump☆25Updated last year
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 3 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆66Updated 3 years ago
- Challenging testcases for fuzzers☆68Updated 11 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- ROP Benchmark is a tool to compare ROP compilers☆41Updated 2 years ago
- Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented☆59Updated 2 years ago
- ☆46Updated 3 years ago
- ☆25Updated 2 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆70Updated last year
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆27Updated 7 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago