Live Variable Analysis (LV)
Def: Eine Variable v ist an einem Programmpunkt l lebendig, falls es eine Ausführungspfaden von l zu einer Benutzung von v ohne vorherige Setzung gibt
Fixpunkt: kleinster ? init = bot
Richtung: Rückwärtsproblem
combine: lub = Vereinigung
Transferfunktion: [ y:= a ]l
LVentry (l) = (LVexit(l) \ { y } ) ?? { Vars(a) }