Weekly edition	Kernel	Security	Distributions	Contact Us	Search
Archives	Calendar	Subscribe	Write for LWN	LWN.net FAQ	Sponsors

KHB: Automating bug hunting

Posted Nov 26, 2006 5:14 UTC (Sun) by error27 (subscriber, #8346)
Parent article: KHB: Automating bug hunting

I've kinda started working on smatch again. It uses sparse instead of gcc as a backend now. You can see the pre-patches here, but it's pretty rough and sucky...
http://smatch.sourceforge.net/sparse/

(Log in to post comments)