Homework: Control Flow Analysis
Tiger book, chap. 18:
18.1 18.2 18.3 18.4 18.5