hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 12:15:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

JavaScript: Address review comment.

Browse Source
This commit is contained in:
Max Schaefer
2018-10-25 11:53:23 +01:00
parent 34b33ca04c
commit 38534a6e2f
1 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
javascript/ql/src/semmle/javascript/BasicBlocks.qll
View File

@@ -67,25 +67,25 @@ private cached module Internal {
}
cached predicate defAt(BasicBlock bb, int i, Variable v, VarDef d) {
exists (VarRef def |
def = d.getTarget().(BindingPattern).getABindingVarRef() and
v = def.getVariable() |
def = d.getTarget() and
exists (VarRef lhs |
lhs = d.getTarget().(BindingPattern).getABindingVarRef() and
v = lhs.getVariable() |
lhs = d.getTarget() and
bbIndex(bb, d, i)
or
exists (PropertyPattern pp |
def = pp.getValuePattern() and
lhs = pp.getValuePattern() and
bbIndex(bb, pp, i)
)
or
exists (ObjectPattern op |
def = op.getRest() and
bbIndex(bb, def, i)
lhs = op.getRest() and
bbIndex(bb, lhs, i)
)
or
exists (ArrayPattern ap |
def = ap.getAnElement() and
bbIndex(bb, def, i)
lhs = ap.getAnElement() and
bbIndex(bb, lhs, i)
)
)
}