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

[Ashish Mishra]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20151220/e8c53543/attachment.html