An update on Dawson Engler's checker

• Next message: David L. Oppenheimer: "interesting article on software quality"
• Previous message: Alex Aiken: "interesting paper"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Date: Thu, 24 May 2001 23:39:30 -0700
From: David Wagner <daw@EECS.Berkeley.EDU>
Message-Id: <200105250639.XAA17159@mozart.cs.berkeley.edu>
Subject: An update on Dawson Engler's checker

In case anyone is interested:

Dawson Engler's group has made a database available of the
bugs they've found in the Linux kernel.  The announcement below
came from the Linux kernel mailing list.

-- David



> From: Andy Chou <acc@CS.Stanford.EDU>
> 
> 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

• Next message: David L. Oppenheimer: "interesting article on software quality"
• Previous message: Alex Aiken: "interesting paper"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : 11/04/02 PST