Coccinelle: Automating Large-scale Evolution and Bug Finding in C Code
Date: February 2
Time: 7:30AM - 9:00AM PST (UTC-8)
Speaker(s): Julia Lawall, Senior Research Scientist, InriaRegister Now
Join us for New Ideas for Smatch (Static Analysis), with Dan Carpenter, Software Developer, Oracle.
Smatch is a powerful Open Source static analysis tool. This talk will introduce Smatch and discuss ideas for new ways that it could be developed and used.
The session will begin with an overview by Dan Carpenter (45 minutes) and will be followed by Q&A – an opportunity to both ask Dan questions and for group discussion (45 minutes).