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.
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 |