Profile Picture
Dan Carpenter

Software Engineer
Linaro
Standard Ticket

Dan Carpenter has worked on static analysis for 15 years. He lives in Africa and was once almost eaten by a leopard.

Talks

MAD24-216 What Can Static Analysis Do For You (Smatch)

Session

Toolchain

  • Wednesday, 15 May 13:45 - 14:10 (Europe/Madrid)
  • Room: Session 1 | Las Palmas I

This talk will cover the current state of static analysis in the kernel: the successes and challenges. I am the author of Smatch so the talk will have a pro-Smatch bias, however it's not always the best tool. We will go through some example bugs and see how they could have been prevented using static analysis.

Download Slides

Google Slides

Finding Locking Bugs With Static Analysis Using Smatch

In past talks I've often talked about how to write this simplest possible static check. This talk will be the opposite. The Smatch check for locking bugs is the oldest, largest and most complicated check. I have re-written this check since the last Linaro Connect. This talk will cover how to write a very complicated check and some of the lessons learned.

No slides available.