[Soot-list] Re: Different variable names produced in soot console and eclipse soot plugin

[Gerald Sit]

Is the code look like this if I want to use soot as library only?

PhaseOptions.v().setPhaseOption("jb","keep-line-number:true");

I tried to add the following code also and it works for soot in Eclipse but not the program using soot as library from console.

PhaseOptions.v().setPhaseOption("jb","use-original-names:false");

Gerald

2008/7/24 Gerald Sit <eric.bodden at mail.mcgill.ca>:
> Yes, it has. The argument you are looking for is -keep-line-number.

> Eric