<div dir="ltr"><div>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(); <br><br>On a whole points-to dump of a fairly large android app, this happens 2 times on Spark and ~700 times on GEOM.<br clear="all"></div><div><div><br></div><div>Is this a bug?<br><br></div>-- <br><div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Denis<br><br></div></div>
</div></div></div>