Module 14: Approaches to Control Flow Analysis
  Lecture 28: Structural Analysis
 

T1- T2 Analysis

  • T1 transformation collapses one node self loop to a node
  • T2 transformation collapses sequence of two nodes into one if the second node has only one predecessor