Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

What Can Static Analysis Do For You - Using Smatch for Kernel Bug Prevention

Overview

Learn about the current state of static analysis in the kernel, exploring both achievements and obstacles in this 34-minute technical talk. Discover real-world examples of bugs and understand prevention strategies through static analysis tools, with a particular focus on the Smatch analyzer. Gain insights from the creator of Smatch while examining various analysis approaches and their effectiveness in kernel development.