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

Consider the CFG below. Indicate the value-set computed for *varJ at the end of L6 using the flow-sensitive saturation algorithm described in the last lecture analysis.

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