[Soot-list] Determining if jimple statements are part of the same condition.

Tristan RATCHFORD tratch at cs.mcgill.ca
Wed Mar 10 13:18:36 EST 2010


Hello Soot List,

Is there a way to determine if two Jimple statements are part of the 
same condition in source code? I understand that Jimple unravels the 
code, but I was wondering if any meta data is kept around.

Example:

Source Code : if(x > 0 && log4j.isDebugEnabled())    (x is a method 
parameter)

Jimple Code:

         i0 := @parameter0: int;
         if i0 <= 0 goto label0;

         $r1 = <Test.TestClass: org.apache.log4j.Logger log4j>;
         $z1 = virtualinvoke $r1.<org.apache.log4j.Logger: boolean 
isDebugEnabled()>();
         if $z1 == 0 goto label0;

Thanks,

Tristan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100310/d90908db/attachment.html 


More information about the Soot-list mailing list