| IntervalAnalysis.java |  | 0% |  | 0% | 88 | 88 | 135 | 135 | 23 | 23 | 2 | 2 |
| AnalysisUtilities.java |  | 0% |  | 0% | 88 | 88 | 142 | 142 | 16 | 16 | 1 | 1 |
| DataflowUtilities.java |  | 0% |  | 0% | 88 | 88 | 143 | 143 | 16 | 16 | 1 | 1 |
| ConditionalIntervalAnalysis.java |  | 0% |  | 0% | 67 | 67 | 126 | 126 | 16 | 16 | 1 | 1 |
| IntervalAnalysisSARL.java |  | 0% |  | 0% | 67 | 67 | 126 | 126 | 16 | 16 | 1 | 1 |
| ConditionalConstantPropagation.java |  | 0% |  | 0% | 61 | 61 | 129 | 129 | 18 | 18 | 1 | 1 |
| ConstantPropagation.java |  | 0% |  | 0% | 70 | 70 | 111 | 111 | 19 | 19 | 1 | 1 |
| DataFlowFramework.java |  | 0% |  | 0% | 35 | 35 | 82 | 82 | 13 | 13 | 1 | 1 |
| EdgeDataFlowFramework.java |  | 0% |  | 0% | 30 | 30 | 69 | 69 | 11 | 11 | 1 | 1 |
| ReachingDefinitionAnalysis.java |  | 0% |  | 0% | 54 | 54 | 66 | 66 | 17 | 17 | 1 | 1 |
| DominatorAnalysis.java |  | 0% |  | 0% | 33 | 33 | 65 | 65 | 18 | 18 | 1 | 1 |
| EvaluationCommon.java |  | 0% |  | 0% | 25 | 25 | 53 | 53 | 4 | 4 | 1 | 1 |
| ControlFlowAnalysis.java |   | 84% |   | 74% | 39 | 114 | 34 | 281 | 8 | 36 | 0 | 1 |