Variable Names

[Roland Weiss <weissr@informatik.uni-tuebingen.de>]

Hello,

I'm starting to use the Soot framewotk as a compiler toolkit. Could anyone give
me some details on how to preserve the variable names of objects (locals). Soot
automatically generates names like ($r0, ..., b0, ...), but I'd prefer the original
names.

I've found the method setFaithfulNaming(boolean) and called it like this
  soot.coffi.Util.v().setFaithfulNaming(true);
Unfortunately, it had no effect on the variable names.

A rough outline of my procedure: I get the classes with loadClassAndSupport and
then select some methods for further inspection. When I write the locals with
System.out.println(sc_body.getLocals()) the generated names are displayed.

Any suggestions?

best regards,
Roland


--
Roland Weiss - Postdoctoral Researcher - Formal Methods Group
WSI-TI, Sand 14, Room C221, University of Tuebingen, 72076 Tuebingen, Germany
Tel: +49 (0)7071 2974706 - Fax: +49 (0)7071 295062
E-Mail: weissr@informatik.uni-tuebingen.de
WWW: http://www-ti.informatik.uni-tuebingen.de/~weissr