Open rbonifacio opened 8 years ago
A new model with a set of data flow static analysis.
We should answer questions such as:
a) is the output variable always initialised? b) is there any variable that does not contribute to the computation of the output variable?
A new model with a set of data flow static analysis.
We should answer questions such as:
a) is the output variable always initialised? b) is there any variable that does not contribute to the computation of the output variable?