Data Flow Analysis
1 June 2011
Type of static analysis based on the definition and using of variables.