[Soot-list] Reaching fixed point within a loop

[Eric Bodden]

Hi.

Did you have a look at LoopFinder?

Eric

On 10 March 2013 13:15, Hagai Attias <hagaiattias at gmail.com> wrote:
>
> Hi everyone,
> I wanted to know whether there is an option in soot to get all the units
> that are inside a given loop unit ? (I'm using Jimple).
>
> What I'm trying to do is to freeze all these units in order for them to not
> change anymore, and for soot to reach a fixed point in these units.
>
> What I'm actually trying to do is interval analysis, where for units inside
> a loop I can determine that the condition doesn't hold anymore,
> and therefore not change the interval of the variables in the loop inside
> statements.
>
> Maybe there is an easier way to do that, which I'll be happy to hear.
>
> Thanks,
> Hagai.
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt