MIT Sloan AI Adoption: Build a Playbook That Drives Real Business ROI
The Fastest Way to Become a Backend Developer Online
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
Syllabus
MAD24 216 What Can Static Analysis Do For You Smatch
Taught by
LinaroOrg