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

Ashish Mishra ashish123.mishragkp at gmail.com
Thu Dec 17 22:16:44 EST 2015


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


More information about the Soot-list mailing list