Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore advanced testing methodologies for the Linux kernel that extend far beyond traditional approaches in this 27-minute conference talk. Begin with an examination of conventional kernel testing methods and understand their limitations when dealing with complex bugs in today's intricate kernel architecture. Discover powerful improvements for detecting bugs through property-based testing and advanced fuzzing tools like buzzer and Agony, illustrated with practical real-world examples. Delve into the cutting-edge frontier of proving bug absence through formal methods, including Runtime Verification (RV) and the Linux-kernel Memory Model (LKMM), plus specialized applications such as formal verification of the eBPF verifier using Agni. Gain insight into a comprehensive categorization framework using a 2x2 matrix that organizes these diverse testing approaches, and understand the key challenges and future directions essential for ensuring kernel reliability and security in modern computing environments.
