casys-kaist / segfuzz
☆27Updated 5 months ago
Related projects: ⓘ
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆45Updated 10 months ago
- ViDeZZo source code.☆30Updated last month
- A collection of widely-fuzzed targets☆44Updated 5 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆54Updated last year
- ☆19Updated last year
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆10Updated 9 months ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆112Updated last year
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models☆55Updated this week
- A list of data-only attacks☆18Updated last month
- ☆66Updated 2 months ago
- ☆50Updated 4 months ago
- ☆13Updated 3 years ago
- ☆24Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆69Updated 2 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆63Updated 2 years ago
- ☆75Updated last year
- ☆18Updated this week
- ☆35Updated last year
- A regression greybox fuzzer aflchurn☆63Updated 2 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆34Updated 9 months ago
- ☆23Updated last year
- UAF Fuzzing Benchmark☆54Updated 3 years ago
- Source code of MEUZZ fuzzer☆43Updated 2 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆17Updated 3 months ago
- Produce code coverage results with gcov from afl-fuzz test cases☆66Updated 2 months ago
- SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.☆72Updated last year
- ☆28Updated 3 months ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆76Updated 5 months ago
- ☆20Updated 4 months ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 3 months ago