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
4 days ago
Madrid, Spain
MAD24-216 What Can Static Analysis Do For You (Smatch)
Session
- 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.
Presented by
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
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