[Soot-list] Rebuilding the context sensitive call graph
eric.bodden at mail.mcgill.ca
Thu Jan 31 15:26:24 EST 2008
> 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.
Sable Research Group
McGill University, Montréal, Canada
More information about the Soot-list