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.


  • Jan 17th 2013 – added SV-COMP 2013
  • Dec 6th 2012 – complete redesign of the system, it's safer, faster and easier to navigate
  • Nov 19th 2012 – many more reports classified, added SVCOMP sub-database
  • Aug 23rd 2012 – most of the uploaded reports sorted, added division by zero bugs
  • May 21st 2012 – uploaded 339 "Leaving function in locked state" reports (sorting in progress)
  • May 19th 2012 – minor interface updates

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