mpdn / unthreadLinks
A deterministic, fuzzable pthread implementation
☆39Updated 2 years ago
Alternatives and similar repositories for unthread
Users that are interested in unthread are comparing it to the libraries listed below
Sorting:
- Tutorial to write qemu plugins☆33Updated 8 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆148Updated 4 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆138Updated 3 years ago
- ☆17Updated 6 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 6 months ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆84Updated last week
- Constraint solver based on coverage-guided fuzzing☆248Updated last year
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆36Updated 3 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆108Updated 7 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆68Updated 3 years ago
- Self-hosting binary instrumentation framework for security research☆215Updated last year
- Scalable Validator for Binary Lifters☆56Updated 5 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆136Updated 6 years ago
- ☆85Updated 3 months ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆106Updated 6 years ago
- ☆36Updated 4 years ago
- Challenging testcases for fuzzers☆71Updated last year
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago
- A patched version of VEX to work with PyVEX.☆110Updated 4 months ago
- A fuzzer setup to fuzz libc functions.☆16Updated 2 years ago
- Timeless debugging with symbolic execution and processor trace☆76Updated 4 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆103Updated 8 months ago
- ☆55Updated 2 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆54Updated 3 years ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆177Updated 3 years ago
- LLVM meets Code Property Graphs☆92Updated 4 years ago
- ☆70Updated last year