[Soot-list] Getting line-number/type-informations at initialization via Jimple from bytecode
tirunkel at informatik.uni-bremen.de
Tue Dec 13 07:40:52 EST 2011
thanks for your quick response.
I've tried "Options.v().setPhaseOption("jb","use-original-names:on");"
the option seems to be applied correctly (is set in
"soot.coffi.CoffiMethodSource.getBody(SootMethod, String)"), but with no
effect on the jimple-bodies. The Bytecode is compiled with names (see
below - gathered from eclipse-class-inspection).
But it's not a huge amount of work for me to create a work-around in my
1 istore_2 [flag]
3 astore_3 [client]
5 astore 4 [home]
Am 13.12.2011 12:35, schrieb Eric Bodden:
> Hi Tillmann.
> One thing you could try is to use "-p jb keep-original-names:on". This
> will cause Soot to try to pack together locals that have the same
> In general, the problem you are seeing is caused by the fact that
> bytecode has no local variables, just stack locations.
More information about the Soot-list