| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 3,665 of 3,665 | 0% | 520 of 520 | 0% | 392 | 392 | 828 | 828 | 79 | 79 | 11 | 11 |
| Frame | | 0% | | 0% | 100 | 100 | 262 | 262 | 15 | 15 | 1 | 1 |
| Analyzer | | 0% | | 0% | 61 | 61 | 153 | 153 | 10 | 10 | 1 | 1 |
| BasicVerifier | | 0% | | 0% | 63 | 63 | 143 | 143 | 9 | 9 | 1 | 1 |
| SimpleVerifier | | 0% | | 0% | 43 | 43 | 65 | 65 | 7 | 7 | 1 | 1 |
| BasicInterpreter | | 0% | | 0% | 60 | 60 | 78 | 78 | 9 | 9 | 1 | 1 |
| DataflowInterpreter | | 0% | | 0% | 21 | 21 | 38 | 38 | 9 | 9 | 1 | 1 |
| BasicValue | | 0% | | 0% | 19 | 19 | 28 | 28 | 7 | 7 | 1 | 1 |
| Analyzer.Subroutine | | 0% | | 0% | 10 | 10 | 25 | 25 | 3 | 3 | 1 | 1 |
| Analyzer.IntMap | | 0% | | 0% | 5 | 5 | 17 | 17 | 3 | 3 | 1 | 1 |
| DataflowValue | | 0% | | 0% | 7 | 7 | 14 | 14 | 5 | 5 | 1 | 1 |
| AnalyzerException | | 0% | | 0% | 3 | 3 | 5 | 5 | 2 | 2 | 1 | 1 |