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

Dan Carpenter dan.carpenter at oracle.com
Mon Jun 25 20:22:11 UTC 2012


On Mon, Jun 25, 2012 at 09:18:54AM -0700, Greg KH wrote:
> 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?
> 

That's in the smatch tree.

http://smatch.sourceforge.net/

I've done a bad job on selling Smatch as a program that people
should use.  I selfishly tend to fix all the interesting bugs myself
so when people run it then they find only the scraps.  I bet the ARM
people could probably benifit from checking their stuff.

regards,
dan carpenter



More information about the Ksummit-2012-discuss mailing list