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
- Scalable Validator for Binary Lifters☆57Updated 5 years ago
- Experimental translation of llvm to smt.☆58Updated 5 years ago
- LLVM meets Code Property Graphs☆93Updated 4 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆84Updated 2 months ago
- ☆17Updated 6 years ago
- An LLVM sanitizer tutorial☆201Updated 3 years ago
- An approximate solver for concolic execution☆18Updated 4 months ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆72Updated 3 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆140Updated 4 years ago
- ☆87Updated 5 months ago
- Challenging testcases for fuzzers☆72Updated last year
- CRETE under development☆59Updated 5 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆31Updated 3 years ago
- llvm crash analysis☆44Updated last year
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆164Updated last year
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆17Updated last week
- ☆55Updated 3 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 9 months ago
- Manipulate C-family ASTs with Clang☆67Updated 6 years ago
- A framework for instrumenting build tools☆89Updated 2 weeks ago
- ☆39Updated 2 years ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆25Updated 5 years ago
- Timeless debugging with symbolic execution and processor trace☆75Updated 4 years ago
- Self-hosting binary instrumentation framework for security research☆217Updated 2 years ago
- Load-time selective binary rewriting☆161Updated 3 years ago