Flow Analysis Prevents
	• references to uninitialised data • ineffective statements • inconsistencies between the expected and actual information flow • loop instability • variables declared but not used • variables whose value will not change