Flow Control Graph and Control Dependency Graph