<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">​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".</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">--</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">MI</div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
Date: Wed, 11 Jul 2018 16:25:22 +0200<br>
From: Tim Linggi <<a href="mailto:linggit@ethz.ch">linggit@ethz.ch</a>><br>
To: <<a href="mailto:soot-list@CS.McGill.CA">soot-list@CS.McGill.CA</a>><br>
Subject: [Soot-list] Callgraph for interface invocations?<br>
Message-ID: <<a href="mailto:4eeefb70-be1a-a5d9-1665-c6acd89660b2@ethz.ch">4eeefb70-be1a-a5d9-1665-<wbr>c6acd89660b2@ethz.ch</a>><br>
Content-Type: text/plain; charset="utf-8"; format=flowed<br>
<br>
Hey,<br>
<br>
I have the following question. Assume the following snippet:<br>
<br>
List<Integer> list = new ArrayList<>();<br>
list.add(1);<br>
<br>
Is there a way to determine the dynamic type of variable 'list' as <br>
ArrayList in Soot? And by extension the actual implementation of the add <br>
method executed? Of course, this is not possible in general? but in this <br>
example it is theoretically.<br>
<br>
Best,<br>
Tim<br></blockquote></div></div></div>