Upwards exposed uses
In compiler theory, upwards exposed uses or reachable uses are all uses of a variable that are reachable from a point in the program. A use of variable is a point or statement where that variable is referenced (read) but not changed.