[Soot-list] Callgraph for interface invocations?

[Tim Linggi]

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