[Soot-list] It seems to be a problem with Dava Decompile App on nested loops

[Cristina Ilie]

Hello,

I'm working to a program which add new statements to some methods. At the end I obtain a dava source. I think there is a problem with the nested loops. 

I just tried Soot->Process corresponding class file->Dava Decompile App on the following code and the resulted code is not correct:

"double []a = new double[4];
int nx=3, ny=4,i,j;

for (j = 0; j < ny; j++) {
          for (i = 0; i < nx; i++) {
              a[i] = x+i;//nx * j + i;
          }
        }
            
 z = x+a[2];"

The resulted code is:

double[] r0;
        byte b0, b1;
        int i2;
        double d1;
        r0 = new double[4];
        b0 = (byte) (byte) 3;
        b1 = (byte) (byte) 4;
        i2 = 0;

        while (i2 < b1)
        {

            if (0 < b0)
            {
                r0[0] = d0 + (double) 0;
            }
            else
            {
                i2++;
            }
        }

        d1 = d0 + r0[2];

which is wrong... Is there a bug in soot?

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