If you turned in a solution in class, you already got credit for this assignment. Otherwise, answer the following and submit to the E9 box on Canvas.

Give an example of a dataflow analysis and a program for which an abstract domain would allow for achieving a fixpoint faster while still giving useful results for your program. The abstract domain should form a lattice.

• email drewdavidson@ku.edu
• office: 2050 Eaton Hall
• zoom: link