[Soot-list] use-original-names bug

Phil Pratt-Szeliga pcpratts at chirrup.org
Mon Aug 6 14:00:13 EDT 2012


Hello,

I have come across the following bug in use-original-names and would
like to ask how I should fix it.

bug:

In the local name table there exists (for instance) the following two entries.

name_index: 132 (i$) descriptor_index: 131 (Integer)
name_index: 132 (i$) descriptor_index: 136 (java.util.Iterator)

Right now the current behavior in soot for this test case is to make
the local variable i$ of type java.util.Iterator. Things crash when
trying to assign 0 to i$.

possible solutions:
1) rename the local variables in the local name table if there is a
duplicate name_index with different descriptor values.
2) look into soot.toolkits.scalar.LocalSplitter and
soot.jimple.toolkits.base.Aggregator to see if I can make a fix there.

Phil Pratt-Szeliga
Syracuse University


More information about the Soot-list mailing list