vul337 / trumanLinks
Code of Truman: Constructing Device Behavior Models from OS Drivers to Fuzz Virtual Devices (NDSS 2025)
☆22Updated 10 months ago
Alternatives and similar repositories for truman
Users that are interested in truman are comparing it to the libraries listed below
Sorting:
- ViDeZZo source code.☆39Updated 9 months ago
- ☆19Updated 2 years ago
- Code for the NDSS'23 paper "DARWIN: Survival of the Fittest Fuzzing Mutators"☆33Updated 2 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆101Updated 3 months ago
- ☆99Updated 2 years ago
- ☆33Updated 2 years ago
- AFL/AFL++ version FishFuzz☆98Updated 11 months ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆63Updated last year
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆32Updated last year
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆98Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆89Updated 4 months ago
- ☆39Updated last year
- ☆30Updated last year
- ☆62Updated last month
- Bug detection framework for finding Finger tracable bugs in Linux☆20Updated 10 months ago
- uacatcher open source repo☆22Updated 2 years ago
- a blackbox network fuzzer for IoT devices☆56Updated last year
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)☆163Updated 5 months ago
- ☆81Updated 2 years ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆102Updated 2 years ago
- An automated ROP generation work☆12Updated 11 months ago
- ☆16Updated 2 years ago
- ☆73Updated last year
- ☆94Updated 10 months ago
- MOCK: Optimizing Kernel Fuzzing Mutation with Context-aware Dependency☆19Updated last year
- Syzkaller with MAB scheduling and seed selection☆27Updated 6 years ago
- A tool for automatically identifying syscall-guard variables☆36Updated 8 months ago
- ☆61Updated 3 years ago
- Directed fuzzing framework for gVisor.☆26Updated 2 years ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆91Updated 3 years ago