Domain object that can be used to calculate a call graph using CHA. This domain
basically collects – for all invoke instructions of a method – the potential target
methods that may be invoked at runtime.
Virtual calls on Arrays (clone(), toString(),...) are replaced by calls to the
respective methods of java.lang.Object.
Signature polymorphic methods are correctly resolved (done by the method
lookupImplementingMethod defined in ClassHierarchy.)
Domain object that can be used to calculate a call graph using CHA. This domain basically collects – for all invoke instructions of a method – the potential target methods that may be invoked at runtime.
Virtual calls on Arrays (clone(), toString(),...) are replaced by calls to the respective methods of
java.lang.Object
.Signature polymorphic methods are correctly resolved (done by the method
lookupImplementingMethod
defined inClassHierarchy
.)