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.


Listing projects

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