Linaro Connect 24

Cover image

Join us at Linaro Connect, where innovation meets collaboration!

Discover the future of ARM open-source software, network with industry leaders, engineers, and ARM software experts, and don’t forget the Linaro Connect hacking sessions.

Let’s connect, learn, and innovate together.

May 14, 2024

1 week ago

May 17, 2024

1 week ago

Madrid, Spain

Profile Picture
Dan Carpenter

Software Engineer
Standard Ticket

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


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



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