CodeQL library for JavaScript
codeql/javascript-all 0.6.2 ( changelog , source )
Search

Predicate DataFlow :: isIncomplete

Holds if the flow information for the node nd.

This predicate holds if there may be a source flow node from which data flows into this node, but that node is not a result of getALocalSource() due to analysis incompleteness. The parameter cause is bound to a string describing the source of incompleteness.

For example, since this analysis is intra-procedural, data flow from actual arguments to formal parameters is not modeled. Hence, if p is an access to a parameter, p.getALocalSource() does not return the corresponding argument, and p.isIncomplete("call") holds.

Import path

import javascript
predicate isIncomplete ( Node nd , Incompleteness cause )