Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.
