Feature: smatch support

[aksr]

Smatch is a static analysis tool for C. Most of the checks are for the linux kernel, it uses sparse as a C parser:

http://smatch.sourceforge.net/ http://repo.or.cz/w/smatch.git