Relevant Context Inference: points-to [Chatterjee, Ryder, Landi, POPL’99]
Call graph ? SCC-DAG after resolving dispatch calls
Bottom up traversal of methods, unknown initial values for parameters - collecting data flow facts and type context conditions
- points-to solution at each node of the method
- summary transfer function for the method
Traverse top down - propagating to entry nodes, accounting for actual parameter bindings
Information at entry is propagated on demand to nodes in method