[Soot-list] What is the former unit

[Eric Bodden]

Hi Zeinab.

I think you may want to read up on a concept called "dominators".
Those are usually used to answer such questions, and Soot does support
dominators analysis.

Eric

On 4 February 2013 20:38, Zeinab Lashkaripour <lashkaripour at yahoo.com> wrote:
> Hi dear Reader,
> I have the following situation:
> I iterate through the CFG find statements and do some processing depending
> on the ReachingDef  analysis (that still needs work), I wanted to know if
> there is a way to know if my specific statement (which depends to the result
> of the analysis) is inside a loop (if, switch, ...) or not?
> I'm not sure but I think the answer is no because, that unit has been
> passed. Is this correct?
>
> Regards,
> Zeinab
>
> _______________________________________________
> 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