[Ksummit-2012-discuss] Smatch for static analysis testing

Dan Carpenter dan.carpenter at oracle.com
Mon Jun 25 15:27:21 UTC 2012


On Mon, Jun 25, 2012 at 10:56:17AM -0400, Chris Mason wrote:
> On Fri, Jun 22, 2012 at 06:09:59AM -0600, Steven Rostedt wrote:
> > On Fri, 2012-06-22 at 07:45 -0400, Konrad Rzeszutek Wilk wrote:
> > 
> > > Would it make sense to give talk/session  about the ways one can screw
> > > up the code unintentionally-
> > 
> > For Kernel Summit? No
> > 
> > Perhaps adding to Documentation/SubmittingPatches or just run tools.
> 
> We've got checkpatch.pl, do we have smatchpatch.pl that only smatches
> the files changed by a given patch?
> 

Yes.  If you just want to check one file then there is a script for
that:

smatch_scripts/kchecker drivers/foo/bar.c

regards,
dan carpenter



More information about the Ksummit-2012-discuss mailing list