[Soot-list] CFG of whole program

Zahra Malekzadeh z.malekzade96 at gmail.com
Thu Oct 4 06:28:02 EDT 2018


thanks for your response.
Is there any way to use something like ForwardFlowAnalysis on flowdroid icfg? or any example that do such a thing on icfg?

> On Oct 2, 2018, at 6:15 PM, Eric Bodden <eric.bodden at uni-paderborn.de> wrote:
> 
> Hi Zahra.
> 
> What you actually need, I guess, is to just implement a whole-program analysis using FlowDroid.
> 
> You should use FlowDroid to construct the CallGraph and ICFG for your app, and then implement am inter-procedural data-flow analysis on top of this. For this, for instance, you can then use Heros.
> 
> Information on how to use Heros is here:
> https://github.com/Sable/heros/wiki/Example%3A-Using-Heros-with-Soot
> 
> The only different is that you will want to use not Heros+Soot but Heros+FlowDroid (where FlowDroid comprises Soot).
> 
> Best wishes
> Eric
> 
>> On 28. Sep 2018, at 21:50, Zahra Malekzadeh <z.malekzade96 at gmail.com> wrote:
>> 
>> Hi all,
>> I want to do some energy leakage analysis on Android apps. I want to use Flowdroid which give me the directed graph for each method and read about intra procedural data flow analysis in soot which seems to be what I need for my analysis. I need to analyze the whole program so I want to get the graph of whole program. My search lead me to Heros but I could not find a good tutorial for that, just read something about JimpleBasedInterproceduralCFG in soot list that I do not know what it is doing and how to work with it. First of all I want to know if I am on the right path and then I want to know how to get the graph of whole program?
>> 
>> Regards,
>> Zahra
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at CS.McGill.CA
>> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
> 



More information about the Soot-list mailing list