[Soot-list] What is the former unit

[Zeinab Lashkaripour]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130205/ef99f1ce/attachment.html