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

Member predicate DynamicPropRead::hasDominatingAssignment

Holds if the value of this read was assigned to earlier in the same basic block.

For example, this is true for dst[x] on line 2 below:

dst[x] = {};
dst[x][y] = src[y];
predicate hasDominatingAssignment()