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

[Eric Bodden]

Hi Cristina.

Yes, unfortunately, Dava is known to be rather buggy. It's certainly
much less stable than most other components of Soot. What you are
seeing clearly is a bug.

Eric

On 23 November 2011 15:39, Cristina Ilie <crysgirlro at yahoo.com> wrote:
> 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
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>



-- 
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 32, 64293 Darmstadt