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

[Tristan RATCHFORD]

Hello Soot List,

A good solution, proposed by Bart, is to tag the jimple statments with 
the source code lines. I just hope nobody codes as follows:

if(x > 0 &&
log4j.isDebugEnabled())

Tristan

On 10/03/10 01:18 PM, Tristan RATCHFORD wrote:
> 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
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>    

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