<div dir="ltr"><div><div><div><div><div><div>Dear all,<br><br></div>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:<br><br></div>    <span style="font-family:monospace,monospace">HashMap map = new HashMap();</span><br><br></div>However, if I have the following instead in the test case:<br><br></div>    <span style="font-family:monospace,monospace">Map map = new HashMap();</span><br><br></div>I don't get the points-to set for 'map'.<br><br></div>Can anyone please suggest what could be the problem?<br clear="all"><div><div><div><div><div><div><div><br><br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><font face="georgia,serif">--<span style="font-family:verdana,sans-serif">Nikhil</span></font><br></div></div>
</div></div></div></div></div></div></div></div>