mpdn / unthread
A deterministic, fuzzable pthread implementation
☆33Updated last year
Related projects ⓘ
Alternatives and complementary repositories for unthread
- Tutorial to write qemu plugins☆31Updated 7 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆34Updated 2 years ago
- ☆81Updated 2 months ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- ☆16Updated 5 years ago
- A fuzzer setup to fuzz libc functions.☆15Updated 2 years ago
- ☆95Updated 5 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆135Updated 3 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆63Updated 2 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆56Updated 6 months ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆79Updated 3 weeks ago
- Recover mutation graph from an AFL seed☆59Updated 3 years ago
- ☆25Updated 6 years ago
- ☆36Updated 2 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆47Updated 4 months ago
- ☆35Updated 3 years ago
- Challenging testcases for fuzzers☆66Updated 8 months ago
- kAFL Fuzzer☆33Updated 2 months ago
- Library for manipulating gdb in batch mode☆20Updated 8 months ago
- ☆14Updated 3 years ago
- QEMU enhanced with OS handlers, external plugins, and rapid analysis execution engine.☆41Updated 4 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆13Updated 5 months ago
- Rust bindings for googleprojectzero/TinyInst☆15Updated last year
- print information from LLVM dataflow analyses☆13Updated 4 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…☆20Updated 4 months ago
- ☆38Updated 2 years ago
- ☆19Updated 11 months ago
- ☆43Updated 3 years ago