A framework to test the correctness of the Linux kernel patch.
☆22Sep 29, 2023Updated 2 years ago
Alternatives and similar repositories for KLAUS
Users that are interested in KLAUS are comparing it to the libraries listed below
Sorting:
- ☆81Sep 7, 2023Updated 2 years ago
- ☆39May 31, 2024Updated last year
- ☆58May 10, 2024Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆33Apr 6, 2022Updated 3 years ago
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆39Nov 26, 2024Updated last year
- ☆17Sep 20, 2019Updated 6 years ago
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆19Feb 21, 2022Updated 4 years ago
- Ghidra analyzer for UEFI firmware.☆18Jun 24, 2023Updated 2 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆50Sep 25, 2024Updated last year
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆56Feb 17, 2025Updated last year
- ☆26Mar 31, 2023Updated 2 years ago
- Ghidra extension to disassemble NSIS installers☆24Sep 8, 2025Updated 5 months ago
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆33Jan 16, 2026Updated last month
- ☆25Jun 16, 2021Updated 4 years ago
- ReDeBug Source Code.☆24Dec 12, 2023Updated 2 years ago
- UAF Fuzzing Benchmark☆61Feb 22, 2021Updated 5 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆32Jun 16, 2024Updated last year
- ☆34Nov 11, 2021Updated 4 years ago
- A music composer and player with MATLAB☆11Mar 14, 2020Updated 5 years ago
- ☆76Dec 26, 2025Updated 2 months ago
- AFLTeam Collaborative Parallel Fuzzing☆75Sep 5, 2022Updated 3 years ago
- ☆30May 16, 2022Updated 3 years ago
- implementing collafl☆26Mar 18, 2020Updated 5 years ago
- ☆28Aug 26, 2025Updated 6 months ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆39May 6, 2024Updated last year
- Source code release for the KRace project☆31Nov 15, 2021Updated 4 years ago
- A tool for automatically identifying syscall-guard variables☆37Feb 10, 2026Updated 2 weeks ago
- ☆26Nov 15, 2021Updated 4 years ago
- ☆37Jun 23, 2025Updated 8 months ago
- A hacky tool for analysing linux kernel commits☆38Feb 7, 2023Updated 3 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆91Jan 23, 2026Updated last month
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆79Dec 30, 2021Updated 4 years ago
- ☆34Jun 20, 2023Updated 2 years ago
- ☆38Nov 30, 2020Updated 5 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆80Jun 24, 2022Updated 3 years ago
- K-Miner☆74Jun 5, 2019Updated 6 years ago
- Tools released in CSS 2019☆38Aug 1, 2019Updated 6 years ago
- Janus: a state-of-the-art file system fuzzer on Linux☆234Dec 23, 2019Updated 6 years ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆41Dec 3, 2025Updated 2 months ago