[Soot-list] Control flow

[Xinyu Liu]

Hi,

 

I'd like to analyze the statements within a branch or a loop in Java. For
example:

 

if (Cond) { Stmt 1; Stmt 2; .}

else { Stmt 3; Stmt 4; .. }

 

Or 

 

while(Cond) { stmt 1; stmt 2, .}

For(i=0; i<1; i++) (stmt 1; stmt 2, .}

 

After SOOT translates these statements to Jimple, there are only branch and
goto statements, no brackets any more. So I don't know how to get the jimple
statements representing Java statements originally within the brackets (the
statements that are control-dependent on the branch/loop condition). I
really need this information for my control dependence analysis. Please help
me with it. Thank you very much.

 

Best wishes,

Xinyu

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20070306/6ba66410/attachment.htm