Datenfluß-Analyse

Kontrollfluß-Graph wird markiert:

definitionsfreier Pfad (für eine Variable v): von def(v) zu use (v), ohne dazwischenliegende def (v)

Test-Kriterien:



Johannes Waldmann 2006-06-26