| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 2,080 of 4,240 | 50% | 192 of 414 | 53% | 161 | 317 | 390 | 840 | 46 | 110 | 5 | 11 |
| HtmlExporter.java | | 0% | | 0% | 46 | 46 | 154 | 154 | 16 | 16 | 2 | 2 |
| SmvExporter.java | | 0% | | 0% | 27 | 27 | 84 | 84 | 9 | 9 | 1 | 1 |
| DotExporter.java | | 0% | | 0% | 30 | 30 | 82 | 82 | 6 | 6 | 1 | 1 |
| ReachabilityAnalyzer.java | | 91% | | 83% | 46 | 190 | 43 | 470 | 6 | 59 | 0 | 2 |
| FileExporter.java | | 0% | n/a | 3 | 3 | 9 | 9 | 3 | 3 | 1 | 1 | |
| CrossReferenceUtil.java | | 61% | | 37% | 4 | 8 | 7 | 15 | 1 | 4 | 0 | 2 |
| ReachabilityConfiguration.java | | 61% | n/a | 4 | 10 | 8 | 19 | 4 | 10 | 0 | 1 | |
| DefaultedHashMap.java | 68% | n/a | 1 | 3 | 3 | 7 | 1 | 3 | 0 | 1 |