seclab-ucr / SyzScope
SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.
☆23Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for SyzScope
- AFLTeam Collaborative Parallel Fuzzing☆72Updated 2 years ago
- ☆76Updated last year
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆57Updated last year
- A data-flow-guided fuzzer☆111Updated last year
- ☆21Updated 7 months ago
- A regression greybox fuzzer aflchurn☆64Updated 2 years 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
- ☆53Updated 6 months ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆84Updated 6 months ago
- ☆16Updated 10 months ago
- ☆43Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆46Updated 3 years ago
- ☆25Updated last year
- ☆67Updated 2 years ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆42Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- ☆64Updated 5 years ago
- ☆38Updated 2 years ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆75Updated 2 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago
- ☆35Updated 3 years ago
- ☆22Updated last year
- Source code of MEUZZ fuzzer☆43Updated 2 years ago
- USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types☆195Updated 3 years ago
- ☆12Updated 2 months ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆33Updated last year
- ☆49Updated 8 months ago
- Symbolic Execution Over Processor Traces☆116Updated 3 months ago