[Soot-list] Question regarding inter-procedural analysis
plam at cs.mcgill.ca
Fri Nov 5 17:03:09 EDT 2010
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?
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.
More information about the Soot-list