重点
Understand the three data flow analyses:
reaching definitions
live variables
available expressions
Can tell the differences and similarities of the three data flow analyses
Understand the iterative algorithm and can tell why it is able to terminate