| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 527 of 527 | 0% | 70 of 70 | 0% | 76 | 76 | 134 | 134 | 41 | 41 | 10 | 10 |
| LivenessAssumption.java | | 0% | | 0% | 31 | 31 | 60 | 60 | 17 | 17 | 3 | 3 |
| LivenessTransformation.java | | 0% | | 0% | 18 | 18 | 37 | 37 | 10 | 10 | 3 | 3 |
| LivenessFlowFunction.java | | 0% | | 0% | 12 | 12 | 18 | 18 | 6 | 6 | 2 | 2 |
| LivenessIntegratedFlowFunction.java | | 0% | | 0% | 10 | 10 | 13 | 13 | 3 | 3 | 1 | 1 |
| LivenessAnalysis.java | | 0% | n/a | 5 | 5 | 6 | 6 | 5 | 5 | 1 | 1 |