Re: looking for any examples of using sparse

[Randy Dunlap <rdunlap@xenotime.net>]

On Wed, 9 May 2007 16:32:30 +0200 Mish Mash wrote:

> dear all,
> 
> I'm trying to use sparse for writing various source code analysis
> tools (I was using ctool previously). I'm currently going through the
> source trying to figure out what I need. Given the excessive amounts
> of comments I'm having to wade through, this probably isn't the
> fastest way of figuring the beast out ;)
> 
> Does anyone have any notes they've taken or can point me at code that
> uses sparse to help get a rough idea of how to use the beast? (Ideally
> slightly more detailed than Randy Dunlap's howto) I noticed smatch now
> uses sparse and i've applied their patch which I'm going over. Is
> there anything better? (I've already found the no longer very useful
> presentation at http://developer.osdl.org/dmo/sparse/)

[belated]

Hi,

My sparse howto was never meant to be a guide to sparse internals,
but agreed, something like that would be very helpful.

My sparse howto is really intended to be a basic/intro user guide since
I didn't find one anywhere else.  And I have just updated it --
comments/corrections welcome.

http://www.xenotime.net/linux/sparse/sparse_howto.txt

---
~Randy