lkml.org 
[lkml]   [2001]   [May]   [25]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
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/

\
 
 \ /
  Last update: 2005-03-22 12:53    [W:0.035 / U:9.324 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site