DFA

Definition: 
Dynamic Flow Analysis