Predicate CallGraph::impliedReceiverStep
Holds if pred
is assumed to flow to succ
because a method is stored on an object that is assumed
to be the receiver of calls to that method.
For example, object literal below is assumed to flow to the receiver of the foo
function:
let obj = {};
obj.foo = function() {}
Import path
import semmle.javascript.dataflow.internal.CallGraphs
predicate impliedReceiverStep(SourceNode pred, SourceNode succ)