Term: “data flow analysis”.

It is a kind of static analysis based on the definition and use of the variables.