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
