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

[Rohan Padhye]

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.