[Soot-list] [Android Framework Bodies]

[claudio]

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