|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|