Messages in this thread |  | | Date | Thu, 24 May 2001 22:34:56 -0700 | From | Andy Chou <> | Subject | [CHECKER] Web interface to database |
| |
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 mc@cs.stanford.edu. 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 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/
|  |