Lead AI-Native Products with Microsoft's Agentic AI Program
Learn AI, Data Science & Business — Earn Certificates That Get You Hired
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