1-CFA (call-site） class A class B void foo() { void bar(){ V=… A a1 new A();/A/1 a1.foo(); A a2 new A();/A/2 a2.foo(); Context Variable Object [a1.foo()] V 0。。 [a2.foo()] V 13class B { void bar() { A a1 = new A(); // A/1 a1.foo(); A a2 = new A(); // A/2 a2.foo(); } } class A { void foo() { v = … } } 1-CFA (call-site) Context Variable Object [a1.foo()] v … [a2.foo()] v … 13