lkml.org 
[lkml]   [2004]   [Jan]   [30]   [last100]   RSS Feed
Views: [more markup]  [less markup]  [headers]  [forward] 
 
Messages in this thread
/
DateThu, 29 Jan 2004 22:18:47 -0800 (PST)
FromLinus Torvalds <>
SubjectRe: Where is sparse?

On Fri, 30 Jan 2004, Rui Saraiva wrote:
> 
> Where is the sparse source? (AKA TSCT - The Silly C Tokenizer) There was
> the BK repository at bk://kernel.bkbits.net/torvalds/sparse, now
> unavailable and the ml owner-linux-sparse@vger.kernel.org seems dead.

The old repostitory got killed when bkbits.net went away. There's a new
repo at

	http://sparse.bkbits.net/sparse

but I don't know why the mailing list would have gone.

> There is other BK rep at bk://linux-dj.bkbits.net/sparse but it is an old
> version.

It may well be up-to-date: without anybody interested enough to do a 
back-end, I had very little incentive to improve the front-end further. 
Right now all the warning messages for the kernel should be largely valid, 
but the networking code re-uses some structures for both user pointers and 
kernel pointers (which Davem agreed was bad and fixable, but wasn't done 
in time for 2.6.x), so we can't get rid of the user pointer accesses 
there..

		Linus
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

\
 
 \ /
  Last update: 2005-03-22 13:00    [from the cache]
©2003-2008