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

Member predicate BasicBlock::localMayBeOverwritten

Holds if d is a definition of v that is reachable from the beginning of this basic block without going through a redefinition of v.

predicate localMayBeOverwritten(LocalVariable v, VarDef d)