[Soot-list] SPARK: getting instantiation points

[Denis Bogdanas]

Hi,
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.


-- 
Denis
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20161207/e2816c08/attachment.html