Abstract: Memory out-of-bounds (OOB) vulnerabilities in the Linux kernel threaten system integrity by enabling privilege escalation, information leakage, and arbitrary code execution. Formal ...