Coursera Plus Annual is 40% Off — Ends July 13.

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

YouTube

Finding Locking Bugs With Static Analysis Using Smatch

LinaroOrg via YouTube

Start learning Write review
Simplilearn Ad

Build AI Apps with Azure, Copilot, and Generative AI — Microsoft Certified

Learn More → DataCamp Ad

Power BI Fundamentals - Create visualizations and dashboards from scratch

Learn More →

Overview

Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore the complexities of writing advanced static analysis checks for detecting locking bugs in this 25-minute talk from LinaroOrg. Learn how to develop sophisticated static analysis tools as the speaker shares insights from rewriting the oldest, largest, and most complicated Smatch check. Discover valuable lessons learned and advanced techniques that contrast with simpler static checks covered in previous presentations. Gain deeper understanding of how static analysis can be leveraged to identify complex locking issues in code.

Syllabus

LIS25 124 Finding Locking Bugs With Static Analysis Using Smatch

Taught by

LinaroOrg

Reviews

Start your review of Finding Locking Bugs With Static Analysis Using Smatch

Start learning

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.