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

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.

Add to My Agenda

Presented by

Profile Picture
Dan Carpenter
Software Engineer at Linaro
Dan Carpenter has worked on static analysis for 15 years. He lives in Africa and was once almost eaten by a leopard. View more