controlFlowAnalysis