Clabure
DB
: Classified Bug-Reports Database
Project:
SV-COMP 2013
Show:
All Errors
|
Tools
|
Users
Listing categories
Category
Description
Real errors
False positives
Unclassified
Overall count
Reachable Error Location
617
A specified error location is reachable in some program path
503
1834
0
2337
All categories
503
1834
0
2337
↑