[Soot-list] Accelerating loop convergence

[Ajay Lal]

Hey hows it going?

Im recently implementing a Integer range analysis using the soot framework by
extending ForwardBranchedFlowAnalysis.

At the moment it handles loops where the loop branch condition is low, but if the condition
is very large it takes a very long time to terminate.

I have been told about the concept of Widening, and would like to know or be pointed to some
information that will let me know hot the soot framework implements widening.

Thanks

Ajay Lal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20050821/3874a940/attachment.htm