[Soot-list] Not able to get points-to information using SPARK for certain codes

[TELKUNTE NIKHIL RAJENDRA cs16m028]

Dear all,

I am trying to use SPARK for getting the points-to sets for certain
variables in my program. I am able to get the correct information for codes
like this:

    HashMap map = new HashMap();

However, if I have the following instead in the test case:

    Map map = new HashMap();

I don't get the points-to set for 'map'.

Can anyone please suggest what could be the problem?


--Nikhil
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20180228/4f41af2b/attachment.html>