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

Stanse

Posted Oct 16, 2009 5:08 UTC (Fri) by cpeterso (guest, #305)
In reply to: Stanse by jordanb
Parent article: Stanse

re ADA SPARK: Splint (LCLint) and Linus' own Sparse are a similar annotation checkers for C. They are promising but require a lot of patience.

(Log in to post comments)