Flow-Sensitive

The types of variables can change based on control flow in the program.