[Soot-list] Question regarding inter-procedural analysis

[Patrick Lam]

On 05/11/10 09:17 PM, Társis Toledo wrote:
> Our question is:
> Is there a(n easy) way to generate one big CFG (for the entire program)
> and have the fixed-point iteration run on that (using our own lattice
> and transfer functions)? And if so, how?

Hi,

There's currently no framework for generating inter-procedural analyses. 
You can look at the implementation of, for instance, SPARK, to see how 
to implement such analyses on your own.

pat