Clabure
DB
: Classified Bug-Reports Database
Project:
SV-COMP 2012
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
123
163
0
286
All categories
123
163
0
286
↑