Powered by Linux
Re: Assertion error in avl.c:87 when compiling/testing Linux kernel — Semantic Matching Tool

Re: Assertion error in avl.c:87 when compiling/testing Linux kernel

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Thu, Oct 02, 2014 at 07:28:09PM +0300, Dan Carpenter wrote:
> On Thu, Oct 02, 2014 at 05:53:57PM +0200, Silvan Jegen wrote:
> > > Oh.  It should have created a smatch_db.sqlite file as well.  I suspect
> 
> So, one trick is that if you rebuild the data again it gets slightly
> more accurate each time.  I rebuild once a day.

Is it sufficient to just run the

~/progs/smatch/devel/smatch_data/db/create_db.sh -p=kernel warns.txt

command in the kernel source root directory in order to do that?


> > Ah, I have overlooked that one but it seems to have been created
> > successfully (5.2GB).
> > 
> > Is there any documentation on how to make use of the db-based
> > functionality of smatch?
> > 
> 
> Oh...  Hm.  I thought it printed some help text but it doesn't.  I've
> changed that now.

That helps, thanks!


> The main thing that it does is if you rebuild your kernel and the
> database is there then it will print more accurate results.  It will
> silence some false positives because the parameter verification happens
> in a different function.  Or it can turn on some errors because maybe
> that data came from the user in a different function.

That does sound useful indeed.


Cheers,

Silvan

--
To unsubscribe from this list: send the line "unsubscribe smatch" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html




[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux