JS: Tweak summarizedHigherOrderCall

This commit is contained in:
Asger Feldthaus
2021-03-22 10:56:03 +00:00
parent a54e810804
commit 54a91c73b0

View File

@@ -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