From a0f0854fdbe3191bdb22759adc1b804810bb687f Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Tue, 3 Sep 2024 14:26:02 +0200 Subject: [PATCH] Dataflow: Fix minor typo. --- shared/dataflow/codeql/dataflow/DataFlow.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/shared/dataflow/codeql/dataflow/DataFlow.qll b/shared/dataflow/codeql/dataflow/DataFlow.qll index 7841c72811b..6e4921521b1 100644 --- a/shared/dataflow/codeql/dataflow/DataFlow.qll +++ b/shared/dataflow/codeql/dataflow/DataFlow.qll @@ -298,7 +298,7 @@ signature module InputSig { /** Extra data-flow steps needed for lambda flow analysis. */ predicate additionalLambdaFlowStep(Node nodeFrom, Node nodeTo, boolean preservesValue); - predicate knownSourceModel(Node sink, string model); + predicate knownSourceModel(Node source, string model); predicate knownSinkModel(Node sink, string model);