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