[Soot-list] PTS empty in cg.spark transformer

[Ashish Mishra]

HI All,

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.

Anyone can please help me understand the reason?

Thanks :)

On Sun, Dec 20, 2015 at 8:22 AM, Ashish Mishra <
ashish123.mishragkp at gmail.com> wrote:

> HI Patrick,
> Thanks for the reply.
>
> 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.
>
> >>What does your main look like?
> The main looks somewhat like this ,
>
>   *public static void main(java.lang.String[])*
> *    {*
> *        int $i0;*
> *        xxx.xxx.MyFirstActivity $r0;*
> *        android.os.Bundle $r1;*
>
> *        $r0 = xxx.xxx.MyFirstActivity;*
> *        specialinvoke $r0.<**xxx.xxx.MyFirstActivity**: void
> <init>()>();*
>
>
> *        $r1 = new android.os.Bundle;*
> *        specialinvoke $r1.<android.os.Bundle: void <init>()>();*
> *        virtualinvoke $r0.<**xxx.xxx.MyFirstActivity**: void
> onCreate(android.os.Bundle)>($r1);*
>
>
>   *      virtualinvoke $r0.<**xxx.xxx.MyFirstActivity**: void
> onStart()>();*
>
>   *      virtualinvoke $r0.<**xxx.xxx.MyFirstActivity**: void
> onResume()>();*
>
>
> *        staticinvoke <**xxx.xxx.MyFirstActivity**: void <clinit>()>();*
>
>         return;
>     }
>
> 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.
>
> Thanks for help.
>
>
> On Fri, Dec 18, 2015 at 4:44 AM, Patrick Lam <plam at sable.mcgill.ca> wrote:
>
>> Hi Ashish,
>>
>> My guess would be that your generated main doesn't contain calls to the
>> methods that you are wondering about, or there are no instantiations of
>> objects of the appropriate type. What does your main look like?
>>
>> pat
>>
>> On 12/17/2015 10:16 PM, Ashish Mishra wrote:
>> > HI All,
>> >
>> > 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 .
>> >
>> > The transformer visits all the classes but the *points to set* for every
>> > local and fields in each method is empty, While debugging i found that
>> > the set of allocation nodes in the *pag* generated in Spark is empty
>> too.
>> >
>> > Any probable cause or suggestion will be greatly helpful.
>> >
>> > Thanks
>> > --
>> > Regards,
>> > Ashish Mishra
>> > Graduate Student,
>> > Computer Science and Automation Department,IISc
>> > Cell : +91-9611194714
>> > Mailto : ashishmishra at csa.iisc.ernet.in
>> > <mailto:ashishmishra at csa.iisc.ernet.in>
>> >
>> >
>> >
>> > _______________________________________________
>> > Soot-list mailing list
>> > Soot-list at CS.McGill.CA
>> > https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
>> >
>>
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at CS.McGill.CA
>> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
>>
>
>
>
> --
> Regards,
> Ashish Mishra
> Graduate Student,
> Computer Science and Automation Department,IISc
> Cell : +91-9611194714
> Mailto : ashishmishra at csa.iisc.ernet.in
>
>


-- 
Regards,
Ashish Mishra
Graduate Student,
Computer Science and Automation Department,IISc
Cell : +91-9611194714
Mailto : ashishmishra at csa.iisc.ernet.in
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20151223/ac1f7413/attachment.html