
dr_checker
DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

Educational examples porting Linux kernel vulnerabilities to Rust, featuring intentionally vulnerable code and exploits for learning kernel security…

Evidence-driven Linux kernel vulnerability research harness used in the investigation of CVE-2026-31720

Provenance-aware Linux kernel vulnerability research harness used in the investigation of CVE-2026-53075

Academic research on N-Day Linux kernel vulnerabilities, analyzing CVE-2024-36886 in the TIPC networking subsystem, lifecycle, impact, and mitigation…

Triggering and Analyzing Android Kernel Vulnerability CVE-2019-2215

Hardening kernel C parsers via Rust rewrite + differential fuzzing + formal verification. First target: UVC (CVE-2024-53104).

Write your BPF programs in Go, not C. gobee transpiles a Go subset to BPF C and generates typed cilium/ebpf bindings.

Root-cause analysis of CVE-2026-54107: a use-after-free in Windows win32kfull.sys with race condition debugging, static analysis, MSRC triage…