| IntervalAnalysis.java |  | 0% |  | 0% | 78 | 78 | 134 | 134 | 23 | 23 | 2 | 2 |
| AnalysisUtilities.java |  | 0% |  | 0% | 80 | 80 | 142 | 142 | 16 | 16 | 1 | 1 |
| DataflowUtilities.java |  | 0% |  | 0% | 80 | 80 | 143 | 143 | 16 | 16 | 1 | 1 |
| IntervalAnalysisSARL.java |  | 0% |  | 0% | 59 | 59 | 125 | 125 | 16 | 16 | 1 | 1 |
| ConditionalIntervalAnalysis.java |  | 0% |  | 0% | 59 | 59 | 125 | 125 | 16 | 16 | 1 | 1 |
| ConditionalConstantPropagation.java |  | 0% |  | 0% | 56 | 56 | 128 | 128 | 18 | 18 | 1 | 1 |
| ConstantPropagation.java |  | 0% |  | 0% | 65 | 65 | 110 | 110 | 19 | 19 | 1 | 1 |
| DataFlowFramework.java |  | 0% |  | 0% | 32 | 32 | 82 | 82 | 13 | 13 | 1 | 1 |
| EdgeDataFlowFramework.java |  | 0% |  | 0% | 27 | 27 | 69 | 69 | 11 | 11 | 1 | 1 |
| ReachingDefinitionAnalysis.java |  | 0% |  | 0% | 47 | 47 | 65 | 65 | 17 | 17 | 1 | 1 |
| DominatorAnalysis.java |  | 0% |  | 0% | 29 | 29 | 64 | 64 | 18 | 18 | 1 | 1 |
| EvaluationCommon.java |  | 0% |  | 0% | 20 | 20 | 53 | 53 | 4 | 4 | 1 | 1 |
| ControlFlowAnalysis.java |   | 84% |   | 78% | 30 | 105 | 34 | 280 | 8 | 36 | 0 | 1 |