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 javascriptpredicate 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 javascriptpredicate definitionReaches(Variable v, VarDef def, VarUse use)