Loading…
This event has ended. View the official site or create your own event + mobile app → Check it out
This event has ended. Create your own
To Learn More or Register: LinuxCon North America | CloudOpen North America
View analytic
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 event to your list 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   
Speakers
DC

Dan Carpenter

Oracle
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
Sheraton Ballroom II

Attendees (48)

Attendance numbers do not account for private attendees. Get there early!




Remove this from your schedule?
You may not be able to get back in if this is full.
Remove
Cancel