A form of Static Analysis based on the definition and usage of variables.