[Soot-list] New variables added to chain overlap the original ones
Eric Bodden
eric.bodden at ec-spride.de
Wed May 23 01:45:04 EDT 2012
Hi Christina.
On 22 May 2012 18:20, Cristina Ilie <crysgirlro at yahoo.com> wrote:
> Sorry, I forgot to say. derivLocalsChain is actually = body.getLocals().
> In bytecode as I showed you in the previous message one stores the
> IntLinkedStack object at 5 location: astore 5. After this one stores another
> object (a DerivType object which comes from a double variable - it is found
> in the original code; only the type was changed) at the same location! by
> performing
> astore 5 again...
But this is no problem. Local variables in bytecode are untyped. They
are meant to be reused with values of different types.
Eric
More information about the Soot-list
mailing list