mpdn / unthread
A deterministic, fuzzable pthread implementation
☆37Updated last year
Alternatives and similar repositories for unthread:
Users that are interested in unthread are comparing it to the libraries listed below
- Tutorial to write qemu plugins☆32Updated 7 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 3 months ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆145Updated 4 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- ☆16Updated 6 years ago
- ☆82Updated 3 weeks ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆57Updated 11 months ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆66Updated last year
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆137Updated 3 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆15Updated 3 weeks ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- Challenging testcases for fuzzers☆69Updated last year
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆83Updated 2 months ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆34Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- A framework for instrumenting build tools☆88Updated 4 months ago
- Library for manipulating gdb in batch mode☆20Updated last year
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆66Updated 3 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago
- Linux kernel branches for confidential compute research☆17Updated 2 weeks ago
- kAFL Fuzzer☆33Updated last month
- A simple library focusing on demangling symbols for different programing languages☆43Updated 4 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆36Updated 9 years ago
- Benchmark to test different stop the exploit mitigations☆18Updated 6 years ago
- ☆37Updated 2 years ago
- Flex 'em lexers☆39Updated 4 years ago
- A fuzzer setup to fuzz libc functions.☆15Updated 2 years ago