<div dir="ltr">HI Patrick, <div>Thanks for the reply.</div><div><br></div><div>The body of the generated main does indeed contains calls and the instantiations, I am using the FlowDroids machinery for dummyMain creation for Android apps. </div><div><br></div><div><span style="font-size:12.8000001907349px">>>What does your main look like?</span><br></div><div><span style="font-size:12.8000001907349px">The main looks somewhat like this ,</span></div><div><span style="font-size:12.8000001907349px"><br></span></div><div><div style=""><span style="font-size:12.8000001907349px"> </span><i>public static void main(java.lang.String[])</i></div><div style=""><i> {</i></div><div style=""><i> int $i0;</i></div><div style=""><i> xxx.xxx.MyFirstActivity $r0;</i></div><div style=""><i> android.os.Bundle $r1;</i></div><div style=""><i><br></i></div><div style=""><i> $r0 = xxx.xxx.MyFirstActivity;</i></div><div style=""><i> specialinvoke $r0.<</i><i>xxx.xxx.MyFirstActivity</i><i>: void <init>()>();</i></div><div style=""><i><br></i></div><div style=""><i> </i></div><div style=""><i> $r1 = new android.os.Bundle;</i></div><div style=""><i> specialinvoke $r1.<android.os.Bundle: void <init>()>();</i></div><div style=""><i> virtualinvoke $r0.<</i><i>xxx.xxx.MyFirstActivity</i><i>: void onCreate(android.os.Bundle)>($r1);</i></div><div style=""><i> </i></div><div style=""><i><br></i></div><div style=""><i> </i><i> virtualinvoke $r0.<</i><i>xxx.xxx.MyFirstActivity</i><i>: void onStart()>();</i></div><div style=""><i><br></i></div><div style=""><i> </i><i> virtualinvoke $r0.<</i><i>xxx.xxx.MyFirstActivity</i><i>: void onResume()>();</i></div><div style=""><i><br></i></div><div style=""><i> </i></div><div style=""><i> staticinvoke <</i><i>xxx.xxx.MyFirstActivity</i><i>: void <clinit>()>();</i></div><div style=""><i> </i></div><div style=""><span style="font-size:12.8000001907349px"> return;</span></div><div style=""><span style="font-size:12.8000001907349px"> }</span></div><div style="font-size:12.8000001907349px"><br></div></div><div><span style="font-size:12.8000001907349px">Note : I am generating this class but not writing it to disk and keeping it in the Scene[flowDroid's Scene], then i am calling the Spark analysis (the class and the generated method is still in Scene, verified !). Is this a probable cause.</span></div><div><span style="font-size:12.8000001907349px"><br></span></div><div><span style="font-size:12.8000001907349px">Thanks for help.</span></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Dec 18, 2015 at 4:44 AM, Patrick Lam <span dir="ltr"><<a href="mailto:plam@sable.mcgill.ca" target="_blank">plam@sable.mcgill.ca</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Ashish,<br>
<br>
My guess would be that your generated main doesn't contain calls to the<br>
methods that you are wondering about, or there are no instantiations of<br>
objects of the appropriate type. What does your main look like?<br>
<br>
pat<br>
<span class=""><br>
On 12/17/2015 10:16 PM, Ashish Mishra wrote:<br>
> HI All,<br>
><br>
> I have used spark for PTA over classes earlier and it works just fine ,<br>
> but currently i am giving a generated main (similar to dummyMain) in<br>
> FLowDroid and the application classes to get an interprocedural PTA .<br>
><br>
</span>> The transformer visits all the classes but the *points to set* for every<br>
<span class="">> local and fields in each method is empty, While debugging i found that<br>
</span>> the set of allocation nodes in the *pag* generated in Spark is empty too.<br>
<span class="">><br>
> Any probable cause or suggestion will be greatly helpful.<br>
><br>
> Thanks<br>
> --<br>
> 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">ashishmishra@csa.iisc.ernet.in</a><br>
</span>> <mailto:<a href="mailto:ashishmishra@csa.iisc.ernet.in">ashishmishra@csa.iisc.ernet.in</a>><br>
><br>
><br>
><br>
> _______________________________________________<br>
> Soot-list mailing list<br>
> <a href="mailto:Soot-list@CS.McGill.CA">Soot-list@CS.McGill.CA</a><br>
> <a href="https://mailman.CS.McGill.CA/mailman/listinfo/soot-list" rel="noreferrer" target="_blank">https://mailman.CS.McGill.CA/mailman/listinfo/soot-list</a><br>
><br>
<br>
_______________________________________________<br>
Soot-list mailing list<br>
<a href="mailto:Soot-list@CS.McGill.CA">Soot-list@CS.McGill.CA</a><br>
<a href="https://mailman.CS.McGill.CA/mailman/listinfo/soot-list" rel="noreferrer" target="_blank">https://mailman.CS.McGill.CA/mailman/listinfo/soot-list</a><br>
</blockquote></div><br><br clear="all"><div><br></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>