Control flow analysis