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 Mon, Sep 29, 2014 at 08:42:23PM +0200, Silvan Jegen wrote:
> > Currently it only stores things like "s32min-s32max[$0 + $1]" but it
> > needs to be able to store "s32min-s32max[$0->len + $1]".
> 
> That means I will just go and rerun smatch on the kernel then! :)
> 

You need to build the database first, to experience any of the new
goodness.  The command is:

~/progs/smatch/devel/smatch_scripts/build_kernel_data.sh

It takes a few hours some 15-20GB but building the DB is so worth it
though.  The results will be more accurate since it has cross function
information.  You can also use the
~/progs/smatch/devel/smatch_data/db/smdb.py program to see how a
function is called.  Also where a data type is allocated.  Which kinds
of values are stored in a particular struct member.  Loads of
interesting stuff.  :)

I don't think I've ever had any real feedback from people using the
cross function db.  Let me know how it goes.

regards,
dan carpenter

--
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