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

[Patrick Lam]

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
>