[Soot-list] Dominator Analysis

[Eric Bodden]

Hi.

Jimple does not really have a notion of blocks. Hence there is also no
notion of "inside". My suggestion would therefore be to look for a
different formulation of your analysis problem. What property are you
actually after?

Eric

On 10 February 2013 14:24, Zeinab Lashkaripour <lashkaripour at yahoo.com> wrote:
> Hi,
> I have the following situation that I would be grateful if anybody could
> help me:
> I want to know if my unit is inside a if / switch/... body. For the units
> that their immediate dominator is if / switch/... I don't have a problem but
> for those that are not immediate I can not get the right answer. For the
> none immediate ones if I get the dominator list I can not inspect the list
> for if / switch/...because there might be if / switch/...before my unit
> which my unit is not inside them.
> Any suggestion?
>
> Thanks,
> 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