A form of static analysis based on the definition and usage of variables.