Dan Carpenter


Dan Carpenter is the author of the Smatch static analysis tool. In 2010 he was one of the top five kernel contributors in terms number of patches.

He is currently in Kenya. His money, passport, ATM card and laptop were recently stolen. He is unemployed.

Proposals for this user

* Killing Bugs in C with Smatch

An introduction to the Smatch static checker and a look at the future. (slides)
Development Tools 04/22/2011
Dan Carpenter