[Soot-list] -no-bodies-for-excluded does not consider -include

[Rohan Padhye]

Dear Eric,

Oh yes I just saw that, sorry. Works correctly with the nightly build... 
Thanks!

Regards,
Rohan


On Saturday 26 January 2013 12:11 AM, Eric Bodden wrote:
> Hi.
>
> We just discussed this on this list two days ago. It really cannot
> hurt to browse the archives every now and then...
>
> Anyway, this has been fixed. Please try out our nightly build.
>
> Eric
>
> On 25 January 2013 12:03, Rohan Padhye <rohanpadhye at cse.iitb.ac.in> wrote:
>> I am developing an analysis in whole-program mode but I don't want to
>> load the entire JDK as it takes too much time. The
>> -no-bodies-for-excluded option was perfect to begin with!
>>
>> Now, if I want to use only a subset of the JDK, say, the java.util.
>> package, I can add it to the set of Application Classes using "-include
>> java.util.". However, the bodies for this package are still not being
>> constructed! So, I am left with a strange state in which I have
>> Application Classes which need to be analysed but no bodies for their
>> methods.
>>
>> Am I doing something wrong or is this a problem with the way
>> -no-bodies-for-excluded is implemented? A quick browse of the source
>> tells me that this option only looks up Scene.v.isExcluded() but does
>> not consider that -include options should override the default list of
>> excluded packages.
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>