Legacy Dataflow: Sync.

2025-12-16 16:53:25 +01:00 · 2024-08-20 10:07:57 +02:00
parent 4afdb0927e
commit 8470e91c16
28 changed files with 0 additions and 224 deletions
--- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll
+++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll
+++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll
+++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll
+++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl1.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl1.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl1.qll
+++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl1.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll
+++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll
+++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll
+++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll
+++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl1.qll
+++ b/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl1.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl2.qll
+++ b/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl2.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl1.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl1.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl2.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl2.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl3.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl3.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl4.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl4.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl5.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl5.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl6.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl6.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl1.qll
+++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl1.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl2.qll
+++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl2.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl3.qll
+++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl3.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl4.qll
+++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl4.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl1.qll
+++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl1.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl2.qll
+++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl2.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }

--- a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowImpl1.qll
+++ b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowImpl1.qll
@@ -290,14 +290,6 @@ deprecated private module Config implements FullStateConfigSig {

  FlowFeature getAFeature() { result = any(Configuration config).getAFeature() }

-  predicate sourceGrouping(Node source, string sourceGroup) {
-    any(Configuration config).sourceGrouping(source, sourceGroup)
-  }
-
-  predicate sinkGrouping(Node sink, string sinkGroup) {
-    any(Configuration config).sinkGrouping(sink, sinkGroup)
-  }
-
  predicate includeHiddenNodes() { any(Configuration config).includeHiddenNodes() }
 }