[Soot-list] Dominator Analysis

[Zeinab Lashkaripour]

Thanks Eric for your reply.
I was thinking that it might be better to convert my input class into Shimple and then do my analysis.
I need to know whether the variable that I have reached by UD chains is inside a loop (if/swithch/...) or not so that after that I could do the appropriate transformation.

Regards,
Zeinab



________________________________
 From: Eric Bodden <eric.bodden at ec-spride.de>
To: Zeinab Lashkaripour <lashkaripour at yahoo.com> 
Cc: "soot-list at sable.mcgill.ca" <soot-list at sable.mcgill.ca> 
Sent: Monday, February 11, 2013 12:22 PM
Subject: Re: [Soot-list] Dominator Analysis
 
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130211/b5a5c52d/attachment.html