We've made the database of errors found as part of the MC project online. Some of the cool features are: - Over 3500 errors (not necessarily unique across versions) - Results for 12 checkers, across 18 Linux versions from 1.0 to 2.4.4 - Keyword search on the file, function, or cause of an error - Default sorting of results by severity of bug/ease of diagnosis - Sorting results by file, function, and other fields - Filter out error reports that also exist in older versions - Links to annotated source code for each error The URL: http://hands.stanford.edu/linux Some disclaimers: 1) We're improving the site and updating the database constantly, so it might not always be accessible, or it might show incomplete data at times. 2) We're looking for feedback on how to improve things. Please send suggestions to [EMAIL PROTECTED] Also, please email us if you fix any of the errors, or can show that they are not errors. 3) Not all checker results are available for all versions. We load the database asynchronously with the bug reports sent to LKML. 4) All queries are logged. We are doing this so we can analyze what errors people are interested in, and also as a precaution in case there are any attacks. 5) Queries that return a large number of results will take a while to run. Please be patient, or restrict the scope of queries. 6) See the FAQ link for answers to some other questions. The documentation, including the description of the checkers, is under construction. Enjoy, -Andy Chou - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
