mpdn / unthreadLinks
A deterministic, fuzzable pthread implementation
☆44Updated 2 years ago
Alternatives and similar repositories for unthread
Users that are interested in unthread are comparing it to the libraries listed below
Sorting:
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆74Updated 4 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆150Updated 4 years ago
- Self-hosting binary instrumentation framework for security research☆217Updated 2 years ago
- Scalable Validator for Binary Lifters☆60Updated 5 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- Challenging testcases for fuzzers☆72Updated last year
- ☆91Updated 8 months ago
- Constraint solver based on coverage-guided fuzzing☆249Updated 2 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 11 months ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆139Updated 4 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆84Updated last month
- ☆96Updated 6 years ago
- An approximate solver for concolic execution☆19Updated 7 months ago
- A LLVM Sanitizer for Symbolic Tracing☆226Updated 5 months ago
- ☆39Updated 3 years ago
- An LLVM sanitizer tutorial☆201Updated 3 years ago
- ☆24Updated 7 years ago
- Source code of ASAN--☆102Updated last year
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆36Updated 3 years ago
- ☆55Updated 3 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Updated 3 years ago
- ☆17Updated 6 years ago
- Library for manipulating gdb in batch mode☆20Updated last year
- Timeless debugging with symbolic execution and processor trace☆75Updated 4 years ago
- A framework for instrumenting build tools☆90Updated last week
- A fuzzer setup to fuzz libc functions.☆16Updated 3 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆131Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆32Updated 3 years ago
- Load-time selective binary rewriting☆162Updated 3 years ago
- Experimental translation of llvm to smt.☆58Updated 5 years ago