From cfc5595e8427dca237a68c5fc2426febf515caca Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Wed, 30 Nov 2022 11:00:07 +0000 Subject: [PATCH] Dataflow: Sync. --- .../semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll | 2 +- .../semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll | 2 +- .../semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll | 2 +- .../semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll | 2 +- cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll | 2 +- cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll | 2 +- cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll | 2 +- cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll | 2 +- .../lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll | 2 +- .../lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll | 2 +- .../lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll | 2 +- .../lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll | 2 +- .../lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll | 2 +- .../lib/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll | 2 +- .../lib/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll | 2 +- .../lib/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll | 2 +- .../lib/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll | 2 +- .../lib/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll | 2 +- .../csharp/dataflow/internal/DataFlowImplForContentDataFlow.qll | 2 +- go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl.qll | 2 +- go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl2.qll | 2 +- .../ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl2.qll | 2 +- .../ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl3.qll | 2 +- .../ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl4.qll | 2 +- .../ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl5.qll | 2 +- .../ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl6.qll | 2 +- .../java/dataflow/internal/DataFlowImplForOnActivityResult.qll | 2 +- .../java/dataflow/internal/DataFlowImplForSerializability.qll | 2 +- .../ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl.qll | 2 +- .../lib/semmle/python/dataflow/new/internal/DataFlowImpl2.qll | 2 +- .../lib/semmle/python/dataflow/new/internal/DataFlowImpl3.qll | 2 +- .../lib/semmle/python/dataflow/new/internal/DataFlowImpl4.qll | 2 +- ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl.qll | 2 +- ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl2.qll | 2 +- .../dataflow/internal/DataFlowImplForHttpClientLibraries.qll | 2 +- .../codeql/ruby/dataflow/internal/DataFlowImplForPathname.qll | 2 +- .../lib/codeql/ruby/dataflow/internal/DataFlowImplForRegExp.qll | 2 +- swift/ql/lib/codeql/swift/dataflow/internal/DataFlowImpl.qll | 2 +- 38 files changed, 38 insertions(+), 38 deletions(-) diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll index e4cfd5986be..ccde916a3c2 100644 --- a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll +++ b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll index e4cfd5986be..ccde916a3c2 100644 --- a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll +++ b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll index e4cfd5986be..ccde916a3c2 100644 --- a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll +++ b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll index e4cfd5986be..ccde916a3c2 100644 --- a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll +++ b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll index e4cfd5986be..ccde916a3c2 100644 --- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll +++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll index e4cfd5986be..ccde916a3c2 100644 --- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll +++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll index e4cfd5986be..ccde916a3c2 100644 --- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll +++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll index e4cfd5986be..ccde916a3c2 100644 --- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll +++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll index e4cfd5986be..ccde916a3c2 100644 --- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll +++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll index e4cfd5986be..ccde916a3c2 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll index e4cfd5986be..ccde916a3c2 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll index e4cfd5986be..ccde916a3c2 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll index e4cfd5986be..ccde916a3c2 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll index e4cfd5986be..ccde916a3c2 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll index e4cfd5986be..ccde916a3c2 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll index e4cfd5986be..ccde916a3c2 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll index e4cfd5986be..ccde916a3c2 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll index e4cfd5986be..ccde916a3c2 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplForContentDataFlow.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplForContentDataFlow.qll index e4cfd5986be..ccde916a3c2 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplForContentDataFlow.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplForContentDataFlow.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl.qll b/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl.qll index e4cfd5986be..ccde916a3c2 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl2.qll b/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl2.qll index e4cfd5986be..ccde916a3c2 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl2.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl2.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl2.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl2.qll index e4cfd5986be..ccde916a3c2 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl2.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl2.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl3.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl3.qll index e4cfd5986be..ccde916a3c2 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl3.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl3.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl4.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl4.qll index e4cfd5986be..ccde916a3c2 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl4.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl4.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl5.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl5.qll index e4cfd5986be..ccde916a3c2 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl5.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl5.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl6.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl6.qll index e4cfd5986be..ccde916a3c2 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl6.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl6.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForOnActivityResult.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForOnActivityResult.qll index e4cfd5986be..ccde916a3c2 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForOnActivityResult.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForOnActivityResult.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForSerializability.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForSerializability.qll index e4cfd5986be..ccde916a3c2 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForSerializability.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForSerializability.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl.qll index e4cfd5986be..ccde916a3c2 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl2.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl2.qll index e4cfd5986be..ccde916a3c2 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl2.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl2.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl3.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl3.qll index e4cfd5986be..ccde916a3c2 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl3.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl3.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl4.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl4.qll index e4cfd5986be..ccde916a3c2 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl4.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl4.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl.qll index e4cfd5986be..ccde916a3c2 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl2.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl2.qll index e4cfd5986be..ccde916a3c2 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl2.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl2.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForHttpClientLibraries.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForHttpClientLibraries.qll index e4cfd5986be..ccde916a3c2 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForHttpClientLibraries.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForHttpClientLibraries.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForPathname.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForPathname.qll index e4cfd5986be..ccde916a3c2 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForPathname.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForPathname.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForRegExp.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForRegExp.qll index e4cfd5986be..ccde916a3c2 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForRegExp.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForRegExp.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowImpl.qll b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowImpl.qll index e4cfd5986be..ccde916a3c2 100644 --- a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowImpl.qll +++ b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowImpl.qll @@ -70,7 +70,7 @@ abstract class Configuration extends string { /** * Holds if `sink` is a relevant data flow sink accepting `state`. */ - predicate isSink(Node source, FlowState state) { none() } + predicate isSink(Node sink, FlowState state) { none() } /** * Holds if data flow through `node` is prohibited. This completely removes