[Soot-list] Callgraph for interface invocations?

[Ishaq]

​For small, HelloWorld programs, you could achieve something to that effect
with XTA. Basically, you keep track of the classes instantiated/passed to a
variable/field. Based on that, you can do method resolution. In this case,
since there is only one class being passed to the variable "list", you
should be able to resolve "add" to "ArrayList.add".

--
MI



>
> Date: Wed, 11 Jul 2018 16:25:22 +0200
> From: Tim Linggi <linggit at ethz.ch>
> To: <soot-list at CS.McGill.CA>
> Subject: [Soot-list] Callgraph for interface invocations?
> Message-ID: <4eeefb70-be1a-a5d9-1665-c6acd89660b2 at ethz.ch>
> Content-Type: text/plain; charset="utf-8"; format=flowed
>
> Hey,
>
> I have the following question. Assume the following snippet:
>
> List<Integer> list = new ArrayList<>();
> list.add(1);
>
> Is there a way to determine the dynamic type of variable 'list' as
> ArrayList in Soot? And by extension the actual implementation of the add
> method executed? Of course, this is not possible in general? but in this
> example it is theoretically.
>
> Best,
> Tim
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20180711/fa0217d3/attachment.html>