Using program flow graph