<div dir="ltr"><div>Hi,<br></div>Is there a way to get instantiation points of objects from SPARK or other points-to analysis? More precisely, for a given local variable I want to know possible locations in the code where this variable was instantiated.<br><br clear="all"><div><div><div><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Denis<br><br></div></div>
</div></div></div></div>