To Learn More or Register: LinuxCon North America | CloudOpen North America
Back To Schedule
Thursday, August 21 • 2:30pm - 3:20pm
Static Analysis in the Linux Kernel Using Smatch - Dan Carpenter, Oracle

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Software will always have bugs, but some bugs are preventable. For example, both Heartbleed and the recent Apple SSL bug could have been detected with static analysis. I developed the Smatch static analysis tool to prevent these sorts of bugs in the Linux kernel. It has been very useful and resulted in around two thousand patches.

This talk is an introduction to Smatch with some of the theory, a description of what Smatch is able to do right now, and what some of the goals are.

Survey this Session   


Dan Carpenter

Dan Carpenter works for Oracle doing security audits of the Linux kernel. He is the author of a static analysis tool called Smatch.

Thursday August 21, 2014 2:30pm - 3:20pm CDT
Sheraton Ballroom II

Attendees (0)