[Soot-list] Bug (and fix?) in FastHierarchy

[Michael Pradel]

> In your example,
> shouldn't the algorithm resolve the call to A.m()? If I just remove
> the check I think it would resolve to B.m() instead, which indeed
> would be wrong. So I guess instead one would have to cause it walk
> further up the hierarchy, no?

For my example, it gets resolved to A.m() because of the visibility
check. But I think you're right in general. Maybe one should replace

if ( isVisible(concreteType, m) ) { .. }

by

if ( isVisible(concreteType, m) && !isAbstract(method) ) { .. }  ?


Michael

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: OpenPGP digital signature
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130208/119bebef/attachment.bin