Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates 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.
