Data Flow Analysis

Type of static analysis based on the definition and using of variables.