[Soot-list] Call graph behavior with interfaces and no concrete implementations

[Hal Hildebrand]

That solves the mystery.  Yes, I'm using the CHA, rather than Spark.

Sorry, I should have made that point earlier, when I saw reference to Spark.

On Aug 13, 2010, at 5:12 AM, Ondrej Lhotak wrote:

> This looks like the expected behaviour of Class Hierarchy Analysis,
> which is what Soot uses by default, when Spark is not explicitly
> enabled. Hal, are you using Spark?
> 
> If you are using Spark, can you send me a small but complete example of
> the program that you are analyzing and the Soot command line (or the
> driver program that you use to call into Soot)?
> 
> Thanks.
> 
> Ondrej
> 
> On Fri, Aug 13, 2010 at 07:57:04AM -0400, Laurie Hendren wrote:
>> Ondrej, can you take a quick look at this question?
>> 
>> THanks, Laurie
>> 
>> On 13/08/2010 4:14 AM, Eric Bodden wrote:
>>>> That is exactly what I originally thought.  However, the behavior I see is that I do, in fact, get Y.foo() as an outbound edge of X.b() if and only if I include a concrete implementation of Y.  Again, note that in this scenario, I have not actually initialized the field in X.y - i.e. the only change is providing a concrete implementation of Y.  This is why I'm at a loss to explain what's happening under the covers.  My model for how things should be working is precisely what you described - that it isn't throws my internal model for a loop.
>>> Interesting. This certainly contradicts my understanding of how Spark works.
>>> 
>>> Eric
>>> _______________________________________________
>>> Soot-list mailing list
>>> Soot-list at sable.mcgill.ca
>>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>> 
>> -- 
>> +-----------------------------------------------------------------
>> | Laurie Hendren --- laurie.hendren at mcgill.ca
>> | Associate Dean (Academic), Faculty of Science,
>> | Dawson Hall, McGill University, 853 Sherbrooke St W,
>> | Montreal QC H3A 2T6 Canada, 514-398-7179, fax 514-398-1774
>> +----------------------------------------------------------------
>> | For contact and home page info as Professor, Computer Science:
>> | http://www.sable.mcgill.ca/~hendren   ---  hendren at cs.mcgill.ca
>> | Research: http://www.sable.mcgill.ca  http://aspectbench.org
>> +----------------------------------------------------------------
>>