| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,757 of 1,757 | 0% | 174 of 174 | 0% | 169 | 169 | 353 | 353 | 82 | 82 | 19 | 19 |
| AnalysisSolver.java | | 0% | | 0% | 83 | 83 | 165 | 165 | 40 | 40 | 10 | 10 |
| CombinedIntegratedAnalysis.java | | 0% | | 0% | 51 | 51 | 114 | 114 | 28 | 28 | 6 | 6 |
| AssumptionUtil.java | | 0% | | 0% | 23 | 23 | 38 | 38 | 7 | 7 | 1 | 1 |
| DataflowOptimizer.java | | 0% | | 0% | 12 | 12 | 36 | 36 | 7 | 7 | 2 | 2 |