[Soot-list] Limiting the scope of Soot?

[Eric Bodden]

Can you just try the following?

Options.v().set_no_exclude(...);
Options.v().set_no_bodies_for_excluded(true);

The point is that both options are options to Soot as a whole and not
"phase options".

Eric

--
Dr. Eric Bodden
Software Technology Group, Technische Universität Darmstadt, Germany
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt



On 10 August 2010 13:52, Kishen Das <kishen.das at gmail.com> wrote:
> Its giving below messages -
> Invalid option exclude:java.lang.System for phase cg
> Invalid option no-bodies-for-excluded:true for phase cg
> Of course they are set before calling soot.Main.
> I have also taken the latest SVN release
> from https://svn.sable.mcgill.ca/soot/soot/trunk/.
> Not sure why its not taking those options :-(.
> Kishen
>
> On Tue, Aug 10, 2010 at 6:42 AM, Eric Bodden
> <bodden at st.informatik.tu-darmstadt.de> wrote:
>>
>> Looks ok to me. Just make sure to set the options *before*
>> soot.Main.main is called.
>>
>> Eric
>>
>> --
>> Dr. Eric Bodden
>> Software Technology Group, Technische Universität Darmstadt, Germany
>> Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
>> Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
>>
>>
>>
>> On 10 August 2010 13:15, Kishen Das <kishen.das at gmail.com> wrote:
>> > Thank you so much for this feature.
>> > So, in the program how can we set this?
>> > Here I want to eliminate all invokes made on java.lang.System package.
>> > I tried -
>> >   Options.v.setPhaseOption("cg", "exclude:java.lang.System");
>> >   Options.v.setPhaseOption("cg", "no-bodies-for-excluded:true");
>> > Not sure how to correctly set these options.
>> > Kishen
>> > On Tue, Aug 10, 2010 at 2:06 AM, Eric Bodden
>> > <bodden at st.informatik.tu-darmstadt.de> wrote:
>> >>
>> >> Morning.
>> >>
>> >> > I happened to read the following post on Eric's website:
>> >> > http://www.bodden.de/2010/06/04/soot-no-jdk/
>> >>
>> >> Yes, I was just going to point you to this. Hal,I think this should be
>> >> the right way to achieve what you are looking for.
>> >>
>> >> Eric
>> >> _______________________________________________
>> >> Soot-list mailing list
>> >> Soot-list at sable.mcgill.ca
>> >> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>> >
>> >
>
>