Predicate localDefinitionOverwrites
Holds if the later
definition of v
could overwrite its earlier
definition.
This is the case if there is a path from earlier
to later
that does not cross
another definition of v
.
DEPRECATED: Use the SSA.qll
library instead.
Import path
import javascript
predicate localDefinitionOverwrites(LocalVariable v, VarDef earlier, VarDef later)