AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
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.
