Predicate definitionReaches
Holds if the definition of v
in def
reaches use
along some control flow path
without crossing another definition of v
.
Import path
import javascript
predicate definitionReaches(Variable v, VarDef def, VarUse use)
Holds if the definition of v
in def
reaches use
along some control flow path
without crossing another definition of v
.
import javascript
predicate definitionReaches(Variable v, VarDef def, VarUse use)