Example

{ (alias context, type context), points-to }

{ (a1init eq a2init), ainit.C::x), <global1,a3init > }

Each method must be in memory 4 times

S(P)

S(Q)

S(R)

S(T)

S(U)

S(V)