Control-flow graph