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?
Johannes Waldmann
2006-02-02