Analyzing the usage of variables within a program.