Quali sono le regole dell'analisi del Data Flow?

1) L’uso di una variabile deve essere sempre preceduto in ogni sequenza da una definizione senza annullamenti intermedi. a -> u errore 2) La definizione di una variabile deve essere sempre seguita da un uso, prima di un suo annullamento o nuova definizione. d -> d errore d -> a errore 3) L’annullamento di una variabile deve essere sempre seguito da una definizione, prima di un uso o altro annullamento. a -> a errore