From 159d8e978c51959b380838c080d891b66e763b19 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Fri, 10 Mar 2023 09:42:35 +0100 Subject: [PATCH] Dataflow: one more autoformat post rebase --- .../cpp/ir/dataflow/internal/tainttracking1/TaintTracking.qll | 3 ++- .../cpp/dataflow/internal/tainttracking1/TaintTracking.qll | 3 ++- .../cpp/ir/dataflow/internal/tainttracking1/TaintTracking.qll | 3 ++- .../csharp/dataflow/internal/tainttracking1/TaintTracking.qll | 3 ++- .../go/dataflow/internal/tainttracking1/TaintTracking.qll | 3 ++- .../java/dataflow/internal/tainttracking1/TaintTracking.qll | 3 ++- .../dataflow/new/internal/tainttracking1/TaintTracking.qll | 3 ++- .../ruby/dataflow/internal/tainttracking1/TaintTracking.qll | 3 ++- ruby/ql/lib/codeql/ruby/experimental/ZipSlipCustomizations.qll | 3 ++- .../swift/dataflow/internal/tainttracking1/TaintTracking.qll | 3 ++- 10 files changed, 20 insertions(+), 10 deletions(-) diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTracking.qll b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTracking.qll index 7333264298e..7f96fe5e6fb 100644 --- a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTracking.qll +++ b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTracking.qll @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public private import TaintTrackingParameter::Private private module AddTaintDefaults implements -DataFlowInternal::FullStateConfigSig { + DataFlowInternal::FullStateConfigSig +{ import Config predicate isBarrier(DataFlow::Node node) { diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTracking.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTracking.qll index 7333264298e..7f96fe5e6fb 100644 --- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTracking.qll +++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTracking.qll @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public private import TaintTrackingParameter::Private private module AddTaintDefaults implements -DataFlowInternal::FullStateConfigSig { + DataFlowInternal::FullStateConfigSig +{ import Config predicate isBarrier(DataFlow::Node node) { diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTracking.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTracking.qll index 7333264298e..7f96fe5e6fb 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTracking.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTracking.qll @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public private import TaintTrackingParameter::Private private module AddTaintDefaults implements -DataFlowInternal::FullStateConfigSig { + DataFlowInternal::FullStateConfigSig +{ import Config predicate isBarrier(DataFlow::Node node) { diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking1/TaintTracking.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking1/TaintTracking.qll index 7333264298e..7f96fe5e6fb 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking1/TaintTracking.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking1/TaintTracking.qll @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public private import TaintTrackingParameter::Private private module AddTaintDefaults implements -DataFlowInternal::FullStateConfigSig { + DataFlowInternal::FullStateConfigSig +{ import Config predicate isBarrier(DataFlow::Node node) { diff --git a/go/ql/lib/semmle/go/dataflow/internal/tainttracking1/TaintTracking.qll b/go/ql/lib/semmle/go/dataflow/internal/tainttracking1/TaintTracking.qll index 7333264298e..7f96fe5e6fb 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/tainttracking1/TaintTracking.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/tainttracking1/TaintTracking.qll @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public private import TaintTrackingParameter::Private private module AddTaintDefaults implements -DataFlowInternal::FullStateConfigSig { + DataFlowInternal::FullStateConfigSig +{ import Config predicate isBarrier(DataFlow::Node node) { diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/tainttracking1/TaintTracking.qll b/java/ql/lib/semmle/code/java/dataflow/internal/tainttracking1/TaintTracking.qll index 7333264298e..7f96fe5e6fb 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/tainttracking1/TaintTracking.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/tainttracking1/TaintTracking.qll @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public private import TaintTrackingParameter::Private private module AddTaintDefaults implements -DataFlowInternal::FullStateConfigSig { + DataFlowInternal::FullStateConfigSig +{ import Config predicate isBarrier(DataFlow::Node node) { diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/tainttracking1/TaintTracking.qll b/python/ql/lib/semmle/python/dataflow/new/internal/tainttracking1/TaintTracking.qll index 7333264298e..7f96fe5e6fb 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/tainttracking1/TaintTracking.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/tainttracking1/TaintTracking.qll @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public private import TaintTrackingParameter::Private private module AddTaintDefaults implements -DataFlowInternal::FullStateConfigSig { + DataFlowInternal::FullStateConfigSig +{ import Config predicate isBarrier(DataFlow::Node node) { diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/tainttracking1/TaintTracking.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/tainttracking1/TaintTracking.qll index 7333264298e..7f96fe5e6fb 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/tainttracking1/TaintTracking.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/tainttracking1/TaintTracking.qll @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public private import TaintTrackingParameter::Private private module AddTaintDefaults implements -DataFlowInternal::FullStateConfigSig { + DataFlowInternal::FullStateConfigSig +{ import Config predicate isBarrier(DataFlow::Node node) { diff --git a/ruby/ql/lib/codeql/ruby/experimental/ZipSlipCustomizations.qll b/ruby/ql/lib/codeql/ruby/experimental/ZipSlipCustomizations.qll index a8c7186390f..e94cabb414c 100644 --- a/ruby/ql/lib/codeql/ruby/experimental/ZipSlipCustomizations.qll +++ b/ruby/ql/lib/codeql/ruby/experimental/ZipSlipCustomizations.qll @@ -114,7 +114,8 @@ module ZipSlip { * sanitizer-guard. */ private class StringConstArrayInclusionCallAsSanitizer extends Sanitizer, - StringConstArrayInclusionCallBarrier { } + StringConstArrayInclusionCallBarrier + { } /** * A sanitizer like `File.expand_path(path).start_with?` where `path` is a path of a single entry inside the archive. diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/tainttracking1/TaintTracking.qll b/swift/ql/lib/codeql/swift/dataflow/internal/tainttracking1/TaintTracking.qll index 7333264298e..7f96fe5e6fb 100644 --- a/swift/ql/lib/codeql/swift/dataflow/internal/tainttracking1/TaintTracking.qll +++ b/swift/ql/lib/codeql/swift/dataflow/internal/tainttracking1/TaintTracking.qll @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public private import TaintTrackingParameter::Private private module AddTaintDefaults implements -DataFlowInternal::FullStateConfigSig { + DataFlowInternal::FullStateConfigSig +{ import Config predicate isBarrier(DataFlow::Node node) {