[Soot-list] Dominator Analysis

[Eric Bodden]

Hi again.

No Shimple won't really help here I think. At least I don't see how.

Eric

On 11 February 2013 10:37, Zeinab Lashkaripour <lashkaripour at yahoo.com> wrote:
> 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
>
>



-- 
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