points-to analysis, alias analysis, Andersen analysis, flow-sensitive
Press ? anytime to show this help