Live-variable analysis
Appearance
The live variable analysis calculates for each program point the variables that may be potentially read afterwards before their next write update.
1: a = 3; 2: c = 5; 3: a = b + c; |
The set of live variables at line 2 is {b,c}, but the set of live variables at line 1 is only {b} since variable "c" is updated in line 2. |