<div dir="ltr">HI All,<div><br></div><div>I got proper Points to Sets for the variables, by first writing the generated dummyMainClass and the method to the disk and then loading it in Soot's Scene like any other class. Although I couldn't see the difference. </div><div><br></div><div>Anyone can please help me understand the reason?</div><div><br></div><div>Thanks :)</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Dec 20, 2015 at 8:22 AM, Ashish Mishra <span dir="ltr"><<a href="mailto:ashish123.mishragkp@gmail.com" target="_blank">ashish123.mishragkp@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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><span class=""><div><br></div><div><span style="font-size:12.8000001907349px">>>What does your main look like?</span><br></div></span><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><span style="font-size:12.8000001907349px"> </span><i>public static void main(java.lang.String[])</i></div><div><i> {</i></div><div><i> int $i0;</i></div><div><i> xxx.xxx.MyFirstActivity $r0;</i></div><div><i> android.os.Bundle $r1;</i></div><div><i><br></i></div><div><i> $r0 = xxx.xxx.MyFirstActivity;</i></div><div><i> specialinvoke $r0.<</i><i>xxx.xxx.MyFirstActivity</i><i>: void <init>()>();</i></div><div><i><br></i></div><div><i> </i></div><div><i> $r1 = new android.os.Bundle;</i></div><div><i> specialinvoke $r1.<android.os.Bundle: void <init>()>();</i></div><div><i> virtualinvoke $r0.<</i><i>xxx.xxx.MyFirstActivity</i><i>: void onCreate(android.os.Bundle)>($r1);</i></div><div><i> </i></div><div><i><br></i></div><div><i> </i><i> virtualinvoke $r0.<</i><i>xxx.xxx.MyFirstActivity</i><i>: void onStart()>();</i></div><div><i><br></i></div><div><i> </i><i> virtualinvoke $r0.<</i><i>xxx.xxx.MyFirstActivity</i><i>: void onResume()>();</i></div><div><i><br></i></div><div><i> </i></div><div><i> staticinvoke <</i><i>xxx.xxx.MyFirstActivity</i><i>: void <clinit>()>();</i></div><div><i> </i></div><div><span style="font-size:12.8000001907349px"> return;</span></div><div><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="HOEnZb"><div class="h5"><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><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>> 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>><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" target="_blank">ashishmishra@csa.iisc.ernet.in</a><br>
</span>> <mailto:<a href="mailto:ashishmishra@csa.iisc.ernet.in" target="_blank">ashishmishra@csa.iisc.ernet.in</a>><br>
><br>
><br>
><br>
> _______________________________________________<br>
> Soot-list mailing list<br>
> <a href="mailto:Soot-list@CS.McGill.CA" target="_blank">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" target="_blank">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>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></div></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>