[Soot-list] What is the former unit

[Phil Pratt-Szeliga]

Hi Zeinab,

I am looking at my code and I probably was not using dominators from
what I see. You should probably not use my code in a general case
then. This code was for a class project.

Sincerely,
Phil Pratt-Szeliga
Syracuse University
http://trifort.org/

On Tue, Feb 5, 2013 at 5:31 AM, Zeinab Lashkaripour
<lashkaripour at yahoo.com> wrote:
> Thank you very much Phil.
> I would definitely do that and if I have problems I'll ask.
> Did you use "dominators" as Eric said?
>
> Regards,
> Zeinab
>
> ________________________________
> From: Phil Pratt-Szeliga <pcpratts at trifort.org>
> To: Zeinab Lashkaripour <lashkaripour at yahoo.com>
> Sent: Tuesday, February 5, 2013 12:31 AM
> Subject: Re: [Soot-list] What is the former unit
>
> Hello Zeinab,
>
> See here [1] for some old work I did on loop detection. You have to
> detect loops first from jumps.
>
> Phil Pratt-Szeliga
> Syracuse University
> http://trifort.org/
>
> [1]
> https://github.com/pcpratts/symarray/tree/master/version2/Analyzer/src/edu/syr/pcpratts/useproto/analyzer/loops
>
> On Mon, Feb 4, 2013 at 2:38 PM, 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
>
>