CodeQL library for JavaScript/TypeScript
codeql/javascript-all 0.8.11-dev (changelog, source)
Search

Member predicate DataFlow::InvokeNode::isImprecise

Holds if our approximation of possible callees for this call site is likely to be imprecise.

We currently track one specific source of imprecision: call resolution relies on flow through global variables, and the flow analysis finds possible callees that are not functions. This usually means that a global variable is used in multiple independent contexts, so tracking flow through it leads to imprecision.

predicate isImprecise()