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
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.
