mpdn / unthreadLinks
A deterministic, fuzzable pthread implementation
☆42Updated 2 years ago
Alternatives and similar repositories for unthread
Users that are interested in unthread are comparing it to the libraries listed below
Sorting:
- Static instrumentation tool for efficient binary-level coverage analysis.☆149Updated 4 years ago
- Constraint solver based on coverage-guided fuzzing☆248Updated last year
- Experimental translation of llvm to smt.☆58Updated 5 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆73Updated 3 years ago
- Scalable Validator for Binary Lifters☆57Updated 5 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆85Updated last week
- A framework for instrumenting build tools☆89Updated last month
- ☆87Updated 6 months ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆140Updated 4 years ago
- Challenging testcases for fuzzers☆72Updated last year
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- Self-hosting binary instrumentation framework for security research☆217Updated 2 years ago
- ☆17Updated 6 years ago
- Timeless debugging with symbolic execution and processor trace☆75Updated 4 years ago
- An approximate solver for concolic execution☆18Updated 5 months ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆106Updated 6 years ago
- A LLVM Sanitizer for Symbolic Tracing☆225Updated 3 months ago
- Tutorial to write qemu plugins☆34Updated 8 years ago
- A patched version of VEX to work with PyVEX.☆112Updated last week
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆177Updated 3 years ago
- ☆27Updated 2 years ago
- A fuzzer setup to fuzz libc functions.☆16Updated 3 years ago
- LLVM meets Code Property Graphs☆94Updated 4 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆36Updated 3 years ago
- Load-time selective binary rewriting☆162Updated 3 years ago
- CRETE under development☆59Updated 5 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 9 months ago
- Source code of ASAN--☆100Updated last year
- Utilities for generating dynamic traces☆93Updated 6 months ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆124Updated 4 years ago