Daten-Fluß-Analyse

bestimmt für jeden Code-Block:

• gelesene Variablen
• geschriebene Variablen

ermöglicht Beantwortung der Fragen:

• ist Variable x hier initialisiert?
• wann wird Variable y zum letzten mal benutzt?
• ändert sich Wert des Ausdrucks A?