| 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 | | 0% | | 0% | 19 | 19 | 40 | 40 | 10 | 10 | 1 | 1 |
| LivenessTransformation.1.new JModVisitor() {...} | | 0% | | 0% | 13 | 13 | 22 | 22 | 5 | 5 | 1 | 1 |
| LivenessIntegratedFlowFunction | | 0% | | 0% | 10 | 10 | 13 | 13 | 3 | 3 | 1 | 1 |
| LivenessAssumption.Updater | | 0% | | 0% | 10 | 10 | 19 | 19 | 5 | 5 | 1 | 1 |
| LivenessFlowFunction.new CfgVisitor() {...} | | 0% | | 0% | 10 | 10 | 13 | 13 | 4 | 4 | 1 | 1 |
| LivenessTransformation.new CfgTransformer() {...} | | 0% | n/a | 2 | 2 | 9 | 9 | 2 | 2 | 1 | 1 | |
| LivenessTransformation | | 0% | n/a | 3 | 3 | 8 | 8 | 3 | 3 | 1 | 1 | |
| LivenessFlowFunction | | 0% | n/a | 2 | 2 | 6 | 6 | 2 | 2 | 1 | 1 | |
| LivenessAnalysis | | 0% | n/a | 5 | 5 | 6 | 6 | 5 | 5 | 1 | 1 | |
| LivenessAssumption.new Comparator() {...} | | 0% | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |