<div dir="ltr">HI All,<div><br></div><div>I have used spark for PTA over classes earlier and it works just fine , but currently i am giving a generated main (similar to dummyMain) in FLowDroid and the application classes to get an interprocedural PTA .</div><div><br></div><div>The transformer visits all the classes but the <b>points to set</b> for every local and fields in each method is empty, While debugging i found that the set of allocation nodes in the <b>pag</b> generated in Spark is empty too. </div><div><br></div><div>Any probable cause or suggestion will be greatly helpful.</div><div><br clear="all"><div>Thanks</div>-- <br><div class="gmail_signature">Regards,<br>Ashish Mishra<br>Graduate Student,<br>Computer Science and Automation Department,IISc<br>Cell : +91-9611194714<br>Mailto : <a href="mailto:ashishmishra@csa.iisc.ernet.in" target="_blank">ashishmishra@csa.iisc.ernet.in</a><br><br></div>
</div></div>