dataAndControlFlowAnalysis