![]() | |||||||||||||
Messages in this thread |
I have been working on an error checker called Smatch that was inspired by the Stanford Checker. The project page is at http://smatch.sf.net Smatch is useable but still in pre-Alpha stage. Email me or smatch-dicuss@lists.sf.net if you have any problems. So far, I've been really good at replying promptly. On the smatch.sf.net page there is a link to the database of bugs Smatch scripts have found. A lot of the bugs turn out to be false positives so the web page has a feature where you can create a login and mark a bug as a false positive. Hopefully you will find Smatch useful. Thanks, Dan Carpenter -- _______________________________________________ Sign-up for your own FREE Personalized E-mail at Mail.com http://www.mail.com/?sr=signup Meet Singles http://corp.mail.com/lavalife - 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:32 [from the cache] ©2003-2008 | |||||||||||||