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
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 6 months ago
- ☆84Updated 3 months ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆83Updated last week
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆36Updated 3 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆70Updated last year
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- ☆17Updated 6 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆146Updated 4 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆68Updated 3 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- ☆49Updated last year
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆138Updated 3 years ago
- Linux kernel branches for confidential compute research☆17Updated 2 months ago
- ☆38Updated 2 years ago
- An approximate solver for concolic execution☆18Updated last month
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆107Updated 6 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- A fuzzer setup to fuzz libc functions.☆16Updated 2 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated this week
- Basic LLVM passes☆17Updated 6 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆16Updated last month
- Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )☆41Updated 4 years ago
- Flex 'em lexers☆40Updated 4 years ago
- ☆19Updated last year
- ☆27Updated 2 years ago
- ☆96Updated 6 years ago