Reaching Definitions (RD)
Def: Eine Zuweisung [x:=a]l erreicht l´, falls es einen Ausführungspfad gibt, auf dem x zuletzt in l zugewiesen wurde
Fixpunkt: kleinster ? init = bot
Richtung: Vorwärtsproblem
combine: lub = Vereinigung
Transferfunktion: [ y:=... ]l
RDexit(l) = (RDentry(l) \ { (y,l) ??l ? Lab} ) ?? { (y,l) }