Module CallGraph

Import path

import semmle.javascript.dataflow.internal.CallGraphs

callgraphStep	Gets a reference to `function` type-tracked by `t`.
getABoundFunctionReference	Gets a data flow node that refers to the result of the given partial function invocation, with `function` as the underlying function.
getACallee	Gets a possible callee of `node` with the given `imprecision`.
getAFunctionReference	Gets a data flow node that refers to the given function.
getAFunctionValue	Gets the function referenced by `node`, as determined by the type inference.
getAnAccessorCallee	Gets a getter or setter invoked as a result of the given property access.
getAnAllocationSiteRef	Gets a node that refers to the given object, via a limited form of type tracking.
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.
isIndefiniteGlobal	Holds if the type inferred for `node` is indefinite due to global flow.