[Soot-list] Inter Procedural Analysis

[Eric Bodden]

It would be easiest to use an inter-procedural framework such as Heros:
https://github.com/Sable/heros

That way there’s no need to traverse the callgraph manually.

This wiki page shows how it works:
https://github.com/Sable/heros/wiki/Example%3A-Using-Heros-with-Soot

Cheers
Eric


> On 25. Oct 2018, at 12:20, Nitin Bhagwat <n.bhagwat123 at gmail.com> wrote:
> 
> Hello
> 
> I want to do Interprocedural Constant Propagation Analysis but I don't know how to do it. Could you please tell me what to do next as I have done Intra Procedural Constant Propagation and I have already sorted my call graph in topological order which is having only those non-java library methods which are called from main. Could you please provide tutorials/resources for the same.
> 
> -- 
> Thanks and Regards
> 
> Nitin Bhagwat
> 
> 
> 
> 
> 
> Every 3000 sheets of paper cost us a tree. Let's consider our environmental responsibility before printing this e-mail - Save paper.
> 
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list