Predicate CallGraph::callgraphStep
Gets a reference to function
type-tracked by t
.
This only includes steps that aren’t included in ordinary type-tracking. For example, this steps from a method definition to an access on an instance, but does not step through access paths, as those are included in type-tracking already.
Import path
import semmle.javascript.dataflow.internal.CallGraphs
SourceNode callgraphStep(FunctionNode function, TypeTracker t)