This assignment asks you to work on analysis of this WHILE program

y:$=1$; while $($x $>1)$ do $($y:$=$y$*$x; x:$=$x$-1)$; y:$=$y$+1$

by following these steps:

$$ computing the flow of the program;

$$ writing kill and gen functions for the program and each dataflow analysis

that has been covered in class $-$ reaching definitions analysis, available

expressions analysis, live variables analysis and very busy expressions

analysis; and

$$ writing dataflow equations for the program and each of above analysis.

$1$