Member predicate BuiltinMethodObjectInternal :: callResult
Holds if obj
is the result of calling this
and origin
is
the origin of obj
with callee context callee
.
This is the context-sensitive version.
Generally, if this holds for any object obj
then callResult/2
should never hold for that object.
predicate
callResult
(
PointsToContext
callee
,
ObjectInternal
obj
,
CfgOrigin
origin
)