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

[Eric Bodden]

The call looks fine to me but it may be the case that you set the
phase options too late. It is preferred to just alter the command line
(i.e. alter the "String[] args") variable and then run
soot.Main.main(..).

Eric

2008/8/1 Gerald Sit <Gerald.Sit at student.cityu.edu.hk>:
> 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
>



-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada