[Soot-list] Rebuilding the context sensitive call graph

[Eric Bodden]

> What are the semantics of specialinvoke? Is it possible to replace
> specialinvoke $r1.<init>() with virtualinvoke $r1.init(); ?

No, that would be wrong. specialinvoke is statically resolved. A
specialinvoke on a type T invokes the method on type T. A
virtualinvoke in type T does a virtual dispatch and may invoke an
implementation in a subtype, if the object you invoke the method on is
of a subtype of T.

Eric
-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada