[Soot-list] How to get the loop control condition ?

[Steven Arzt]

Hi Xinxin,

 

„Dominator Analysis“ sounds like what you are looking for. Everything inside the loop is dominated by both conditions. Soot implements a class called MHGDominatorsFinder for such an analysis.

 

Best regards,

  Steven

 

Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA] Im Auftrag von Xinxin Jin
Gesendet: Mittwoch, 4. März 2015 08:35
An: soot-list at cs.mcgill.ca
Betreff: [Soot-list] How to get the loop control condition ?

 

Hi all,

 

For this loop:

 

while (i <= 5 && success == 0) {

      //do something

}

 

​How to know the loop body is controlled by both i and success ?   

 

​The jimple bytecode is like this: ​

 

if $i1 > 5 goto (branch)

if $i2 != 0 goto (branch)

​....

 

​Thanks very much !!


 

-- 

Xinxin

 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150304/a13070b6/attachment.html