NUS-Curiosity / KernJCLinks
KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities (Best Practical Paper Award of RAID 2024)
☆62Updated 5 months ago
Alternatives and similar repositories for KernJC
Users that are interested in KernJC are comparing it to the libraries listed below
Sorting:
- A tool for automatically identifying syscall-guard variables☆34Updated last month
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆81Updated 4 months ago
- A set of Code-ql/Joern queries to find vulnerabilities☆60Updated 4 years ago
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆70Updated 10 months ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆82Updated 2 months ago
- ☆102Updated 3 years ago
- Code for UI, backend, engine and statistical analysis for RE☆22Updated 3 years ago
- ☆17Updated 11 months ago
- a browser fuzzer☆37Updated last year
- ☆34Updated 3 years ago
- ☆78Updated last year
- Witcher is the first framework for using AFL to fuzz web applications.☆91Updated last year
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆35Updated 6 months ago
- An automated ROP generation work☆11Updated 3 months ago
- ☆23Updated 3 years ago
- Automatic Exploit Generation Paper☆89Updated 3 years ago
- a blackbox network fuzzer for IoT devices☆53Updated 9 months ago
- ☆66Updated 3 years ago
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆175Updated 9 months ago
- Coverage-guided Fuzzing as Online Stochastic Control☆51Updated 7 months ago
- ☆13Updated 6 months ago
- ☆36Updated last year
- A GPT-Based Fuzz Driver Generator☆46Updated last year
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆65Updated 3 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆29Updated last year
- ☆135Updated last year
- A collection of widely-fuzzed targets☆46Updated 5 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆37Updated 3 years ago
- ☆112Updated last year
- fuzz the linux kernel bpf verifier☆81Updated 3 years ago