介绍一种数据流程分析,这种分析计算存在不同地址并由方法调用返回的引用。分析的结果用来估算方法调用表达式的动态类型并且用静态调用来取代对就某一个方法定义的所有调用,从而达到利用静态程式分析来确认静态绑定(binding)代替动态调遣的目的。