[Soot-list] Virtual and InterfaceInvoke

[Martin Schäf]

Hi guys,
we're doing a Java to Boogie translation. One of the issues is to have a
"nice" translation of virtual- and interface invokes. What we do right now
is roughly: given a call
c.f();
we collect the set of whatever class "c" might be at this point and do s.th.
like:
if (c instance of C1) ((C1)c).f();
if (c instance of C2) ((C2)c).f();
...

So here is my question: what is currently the "best" way to get the set
types that "c" may have at this point. For soundness, it has to be an
over-approximation. However, we need it to be pretty narrow, otherwise the
Boogie program becomes too big ...

Cheers,
Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140709/8e1781bd/attachment.html