ClabureDB: Classified Bug-Reports Database


This is a database of known bugs and false positives in real software projects. So far, we support the Linux Kernel 2.6.28 (package) and Software Competition SV-COMP 2012 and 2013. The main purpose of the database is to support research and development in the area of bug-finding techniques and tools by providing data for their automatic evaluation.

We are currently focused on filling the database. We plan to support more software projects. This web interface is still to be extended. For example it currently lacks support for database upload.

There is also a page with documentation. If you have any further questions or suggestions, please feel free to contact us.

Updates

Listing projects

Project
description
Real errors False positives Unclassified Overall count Download
Linux Kernel
221 850 84 1155
Link
SV-COMP 2012
123 163 0 286
Link
SV-COMP 2013
503 1834 0 2337
Link