Predicate CallGraph::isIndefiniteGlobal
Holds if the type inferred for node
is indefinite due to global flow.
Import path
import semmle.javascript.dataflow.internal.CallGraphs
predicate isIndefiniteGlobal(AnalyzedNode node)
Holds if the type inferred for node
is indefinite due to global flow.
import semmle.javascript.dataflow.internal.CallGraphs
predicate isIndefiniteGlobal(AnalyzedNode node)