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