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

JS: Make local flow not depend on SourceNode

Browse Source
This commit is contained in:
Asger Feldthaus
2020-04-02 15:30:33 +01:00
parent 346867f425
commit 93971e9433
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
javascript/ql/src/semmle/javascript/dataflow/DataFlow.qll
View File

@@ -1369,18 +1369,18 @@ module DataFlow {
*/
private predicate lvalueDefaultFlowStep(Node pred, Node succ) {
exists(PropertyPattern pattern |
pred = valueNode(pattern.getDefault()) and
pred = TValueNode(pattern.getDefault()) and
succ = lvalueNode(pattern.getValuePattern())
)
or
exists(ArrayPattern array, int i |
pred = valueNode(array.getDefault(i)) and
pred = TValueNode(array.getDefault(i)) and
succ = lvalueNode(array.getElement(i))
)
or
exists(Parameter param |
pred = valueNode(param.getDefault()) and
succ = parameterNode(param)
pred = TValueNode(param.getDefault()) and
parameterNode(succ, param)
)
}