[Soot-list] Dealing with loops in Soot

[Marc-André Laverdière]

Hi Manas,

I would double-check your flow functions then. Normally, loops are
supposed to converge with a few iterations, even the complicated ones.

Ideally, monotonic functions are the way to go. I have heard that some
have non-monotonic functions that are proven to converge, but that's a
harder case to deal with.

Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 08/02/2014 02:10 AM, Manas Thakur wrote:
> Whenever there is a loop in my input program to Soot, the
> DataFlowAnalysis keeps on examining the statements inside the loop
> infinitely. I guess it follows the "goto label" and keeps on jumping to
> the target. Is there a way to analyze a loop only once, and then to
> proceed to the statement after the loop?
> 
> - Manas
> 
> -- 
> Manas Thakur
> /PhD Scholar/
> /PACE Lab, Deptt. of Computer Science & Engg./
> /Indian Institute of Technology Madras/
> www.cse.iitm.ac.in/~manas <http://www.cse.iitm.ac.in/~manas>
> 
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
>