SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.
☆24Nov 17, 2021Updated 4 years ago
Alternatives and similar repositories for SyzScope
Users that are interested in SyzScope are comparing it to the libraries listed below
Sorting:
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago
- ☆14Oct 11, 2017Updated 8 years ago
- SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.☆85Jan 20, 2025Updated last year
- Linux kernel source tree☆18Jul 17, 2025Updated 7 months ago
- Pre-built bitcode files for the Linux kernel☆22Sep 18, 2019Updated 6 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Sep 5, 2021Updated 4 years ago
- Syzkaller with MAB scheduling and seed selection☆27Jan 29, 2020Updated 6 years ago
- ☆13May 5, 2018Updated 7 years ago
- ☆24Aug 24, 2025Updated 6 months ago
- ☆81Sep 7, 2023Updated 2 years ago
- Implementation of QFuzz.☆17Dec 3, 2021Updated 4 years ago
- ☆10Oct 8, 2022Updated 3 years ago
- Decompiler Fuzzing Test with EMI mutation☆16Apr 23, 2020Updated 5 years ago
- Assume-Guarantee REasoning Environment☆20Dec 3, 2025Updated 3 months ago
- Papers related with kernel papers☆13Mar 18, 2023Updated 2 years ago
- Experiment with writing a simple, kernel-space, on-disk filesystem.☆33Feb 17, 2019Updated 7 years ago
- ☆13Oct 17, 2021Updated 4 years ago
- ☆16Jun 11, 2022Updated 3 years ago
- ☆16Apr 15, 2019Updated 6 years ago
- MS-Fuzz data☆15Nov 5, 2022Updated 3 years ago
- ☆38Nov 30, 2020Updated 5 years ago
- Extract and generate code based on name and type for mig func/arg/request&reply member etc, ideal helper for creating monitor, tracker, f…☆19Jun 5, 2018Updated 7 years ago
- ☆18Sep 4, 2023Updated 2 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 5 years ago
- Python API for rewriting GTIRB files☆19Updated this week
- An Automated Heap Feng Shui Tool☆18Jun 27, 2022Updated 3 years ago
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆22Aug 30, 2019Updated 6 years ago
- Arxiv地址：https://arxiv.org/abs/2409.01944☆22Feb 20, 2025Updated last year
- ☆20May 27, 2020Updated 5 years ago
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆17Oct 13, 2023Updated 2 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆79Dec 30, 2021Updated 4 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆38Nov 14, 2024Updated last year
- AFL enhanced for concurrency bug and vulnerabilities☆19Sep 18, 2020Updated 5 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 2 years ago
- Code for PathAFL on ASIACCS 2020. Please see README_CN.md. Please wait for README_EN.md.☆18Nov 11, 2020Updated 5 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Feb 29, 2024Updated 2 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆91May 7, 2024Updated last year
- Directed fuzzing framework for gVisor.☆26Oct 26, 2023Updated 2 years ago