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

Greg KH greg at kroah.com
Mon Jun 25 16:18:54 UTC 2012


On Mon, Jun 25, 2012 at 06:27:21PM +0300, Dan Carpenter wrote:
> 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

That's not in the kernel source tree, right?  What tree is it in?

greg k-h


More information about the Ksummit-2012-discuss mailing list