JS: Only parameter-calls as lambda calls

This commit is contained in:
Asger F
2024-10-28 14:12:45 +01:00
parent 1e9e57e46e
commit 2fb108419c

View File

@@ -1530,7 +1530,9 @@ predicate lambdaCreation(Node creation, LambdaCallKind kind, DataFlowCallable c)
predicate lambdaCall(DataFlowCall call, LambdaCallKind kind, Node receiver) {
call.isSummaryCall(_, receiver.(FlowSummaryNode).getSummaryNode()) and exists(kind)
or
receiver = call.asOrdinaryCall().getCalleeNode() and exists(kind)
receiver = call.asOrdinaryCall().getCalleeNode() and
exists(kind) and
receiver.getALocalSource() instanceof DataFlow::ParameterNode
}
/** Extra data-flow steps needed for lambda flow analysis. */