[Soot-list] SPARK & GEOM: Inconsistency between points-to and call graph

[Denis Bogdanas]

In both SPARK and GEOM I found cases when points-to for a particular local
l is empty, but there are edges present out of some l.foo();

On a whole points-to dump of a fairly large android app, this happens 2
times on Spark and ~700 times on GEOM.

Is this a bug?

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