[Soot-list] [Android Framework Bodies]

[Arzt, Steven]

Hi Claudio,

I'm not exactly sure what you are trying to achieve. What do you mean by "FlowDroid won't benefit of this"? In which way do you want FlowDroid to benefit from your model? What exactly is your model? Are you creating a different entry point for callgraph construction? Or do you provide something else?

Best regards,
  Steven

-----Original Message-----
From: Soot-list [mailto:soot-list-bounces at cs.mcgill.ca] On Behalf Of claudio
Sent: Tuesday, February 28, 2017 6:32 PM
To: soot-list at cs.mcgill.ca
Subject: [Soot-list] [Android Framework Bodies]

Dear all,

I am trying to give a model to some of the Android framework model. I am able to generate the model I need, however running a static analysis through Flowdroid won't benefit of this.

I went through the source code and the reason seems to be that soot doesn't load the body of some of the Android framework methods. I was
wondering: is there a way to load those body ? I tried using the --sysflow flag in flowdroid but didn't work.

Bests,

Claudio

_______________________________________________
Soot-list mailing list
Soot-list at CS.McGill.CA
https://mailman.CS.McGill.CA/mailman/listinfo/soot-list