JS: Tweak summarizedHigherOrderCall

asgerf · asgerf · commit 54a91c73b09c · 2021-03-22T10:56:03.000Z
diff --git a/javascript/ql/src/semmle/javascript/dataflow/Configuration.qll b/javascript/ql/src/semmle/javascript/dataflow/Configuration.qll
@@ -1364,7 +1364,7 @@ private predicate summarizedHigherOrderCall(
   |
     // direct higher-order call
     summarizedHigherOrderCallAux(f, arg, innerArg, cfg, oldSummary, cbParm, inner, j, cb) and
-    cbParm.flowsTo(inner.getCalleeNode()) and
+    inner = cbParm.getAnInvocation() and
     i = j and
     summary = oldSummary
     or

Original file line number	Diff line number	Diff line change
`@@ -1364,7 +1364,7 @@ private predicate summarizedHigherOrderCall(`
`1364`	`1364`	`\|`
`1365`	`1365`	`// direct higher-order call`
`1366`	`1366`	`summarizedHigherOrderCallAux(f, arg, innerArg, cfg, oldSummary, cbParm, inner, j, cb) and`
`1367`		`- cbParm.flowsTo(inner.getCalleeNode()) and`
	`1367`	`+ inner = cbParm.getAnInvocation() and`
`1368`	`1368`	`i = j and`
`1369`	`1369`	`summary = oldSummary`
`1370`	`1370`	`or`