diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlow.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlow.qll index 137612c52afe..865d7b4d6ce5 100644 --- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlow.qll +++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlow.qll @@ -222,7 +222,7 @@ signature module GlobalFlowSig { } /** - * Constructs a standard data flow computation. + * Constructs a global data flow computation. */ module Global implements GlobalFlowSig { private module C implements FullStateConfigSig { @@ -239,7 +239,7 @@ deprecated module Make implements GlobalFlowSig { } /** - * Constructs a data flow computation using flow state. + * Constructs a global data flow computation using flow state. */ module GlobalWithState implements GlobalFlowSig { private module C implements FullStateConfigSig { 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 3f8cef3698a7..872ac8d4cb80 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 @@ -33,7 +33,7 @@ private module AddTaintDefaults imp } /** - * Constructs a standard taint tracking computation. + * Constructs a global taint tracking computation. */ module Global implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { @@ -54,7 +54,7 @@ deprecated module Make implements DataFlow::GlobalFl } /** - * Constructs a taint tracking computation using flow state. + * Constructs a global taint tracking computation using flow state. */ module GlobalWithState implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlow.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlow.qll index 137612c52afe..865d7b4d6ce5 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlow.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlow.qll @@ -222,7 +222,7 @@ signature module GlobalFlowSig { } /** - * Constructs a standard data flow computation. + * Constructs a global data flow computation. */ module Global implements GlobalFlowSig { private module C implements FullStateConfigSig { @@ -239,7 +239,7 @@ deprecated module Make implements GlobalFlowSig { } /** - * Constructs a data flow computation using flow state. + * Constructs a global data flow computation using flow state. */ module GlobalWithState implements GlobalFlowSig { private module C implements FullStateConfigSig { 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 3f8cef3698a7..872ac8d4cb80 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 @@ -33,7 +33,7 @@ private module AddTaintDefaults imp } /** - * Constructs a standard taint tracking computation. + * Constructs a global taint tracking computation. */ module Global implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { @@ -54,7 +54,7 @@ deprecated module Make implements DataFlow::GlobalFl } /** - * Constructs a taint tracking computation using flow state. + * Constructs a global taint tracking computation using flow state. */ module GlobalWithState implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlow.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlow.qll index 137612c52afe..865d7b4d6ce5 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlow.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlow.qll @@ -222,7 +222,7 @@ signature module GlobalFlowSig { } /** - * Constructs a standard data flow computation. + * Constructs a global data flow computation. */ module Global implements GlobalFlowSig { private module C implements FullStateConfigSig { @@ -239,7 +239,7 @@ deprecated module Make implements GlobalFlowSig { } /** - * Constructs a data flow computation using flow state. + * Constructs a global data flow computation using flow state. */ module GlobalWithState implements GlobalFlowSig { private module C implements FullStateConfigSig { 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 3f8cef3698a7..872ac8d4cb80 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 @@ -33,7 +33,7 @@ private module AddTaintDefaults imp } /** - * Constructs a standard taint tracking computation. + * Constructs a global taint tracking computation. */ module Global implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { @@ -54,7 +54,7 @@ deprecated module Make implements DataFlow::GlobalFl } /** - * Constructs a taint tracking computation using flow state. + * Constructs a global taint tracking computation using flow state. */ module GlobalWithState implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { diff --git a/go/ql/lib/semmle/go/dataflow/internal/DataFlow.qll b/go/ql/lib/semmle/go/dataflow/internal/DataFlow.qll index 137612c52afe..865d7b4d6ce5 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/DataFlow.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/DataFlow.qll @@ -222,7 +222,7 @@ signature module GlobalFlowSig { } /** - * Constructs a standard data flow computation. + * Constructs a global data flow computation. */ module Global implements GlobalFlowSig { private module C implements FullStateConfigSig { @@ -239,7 +239,7 @@ deprecated module Make implements GlobalFlowSig { } /** - * Constructs a data flow computation using flow state. + * Constructs a global data flow computation using flow state. */ module GlobalWithState implements GlobalFlowSig { private module C implements FullStateConfigSig { 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 3f8cef3698a7..872ac8d4cb80 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/tainttracking1/TaintTracking.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/tainttracking1/TaintTracking.qll @@ -33,7 +33,7 @@ private module AddTaintDefaults imp } /** - * Constructs a standard taint tracking computation. + * Constructs a global taint tracking computation. */ module Global implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { @@ -54,7 +54,7 @@ deprecated module Make implements DataFlow::GlobalFl } /** - * Constructs a taint tracking computation using flow state. + * Constructs a global taint tracking computation using flow state. */ module GlobalWithState implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll index 137612c52afe..865d7b4d6ce5 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll @@ -222,7 +222,7 @@ signature module GlobalFlowSig { } /** - * Constructs a standard data flow computation. + * Constructs a global data flow computation. */ module Global implements GlobalFlowSig { private module C implements FullStateConfigSig { @@ -239,7 +239,7 @@ deprecated module Make implements GlobalFlowSig { } /** - * Constructs a data flow computation using flow state. + * Constructs a global data flow computation using flow state. */ module GlobalWithState implements GlobalFlowSig { private module C implements FullStateConfigSig { 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 3f8cef3698a7..872ac8d4cb80 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 @@ -33,7 +33,7 @@ private module AddTaintDefaults imp } /** - * Constructs a standard taint tracking computation. + * Constructs a global taint tracking computation. */ module Global implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { @@ -54,7 +54,7 @@ deprecated module Make implements DataFlow::GlobalFl } /** - * Constructs a taint tracking computation using flow state. + * Constructs a global taint tracking computation using flow state. */ module GlobalWithState implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlow.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlow.qll index 137612c52afe..865d7b4d6ce5 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlow.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlow.qll @@ -222,7 +222,7 @@ signature module GlobalFlowSig { } /** - * Constructs a standard data flow computation. + * Constructs a global data flow computation. */ module Global implements GlobalFlowSig { private module C implements FullStateConfigSig { @@ -239,7 +239,7 @@ deprecated module Make implements GlobalFlowSig { } /** - * Constructs a data flow computation using flow state. + * Constructs a global data flow computation using flow state. */ module GlobalWithState implements GlobalFlowSig { private module C implements FullStateConfigSig { 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 3f8cef3698a7..872ac8d4cb80 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 @@ -33,7 +33,7 @@ private module AddTaintDefaults imp } /** - * Constructs a standard taint tracking computation. + * Constructs a global taint tracking computation. */ module Global implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { @@ -54,7 +54,7 @@ deprecated module Make implements DataFlow::GlobalFl } /** - * Constructs a taint tracking computation using flow state. + * Constructs a global taint tracking computation using flow state. */ module GlobalWithState implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlow.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlow.qll index 137612c52afe..865d7b4d6ce5 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlow.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlow.qll @@ -222,7 +222,7 @@ signature module GlobalFlowSig { } /** - * Constructs a standard data flow computation. + * Constructs a global data flow computation. */ module Global implements GlobalFlowSig { private module C implements FullStateConfigSig { @@ -239,7 +239,7 @@ deprecated module Make implements GlobalFlowSig { } /** - * Constructs a data flow computation using flow state. + * Constructs a global data flow computation using flow state. */ module GlobalWithState implements GlobalFlowSig { private module C implements FullStateConfigSig { 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 3f8cef3698a7..872ac8d4cb80 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/tainttracking1/TaintTracking.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/tainttracking1/TaintTracking.qll @@ -33,7 +33,7 @@ private module AddTaintDefaults imp } /** - * Constructs a standard taint tracking computation. + * Constructs a global taint tracking computation. */ module Global implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { @@ -54,7 +54,7 @@ deprecated module Make implements DataFlow::GlobalFl } /** - * Constructs a taint tracking computation using flow state. + * Constructs a global taint tracking computation using flow state. */ module GlobalWithState implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlow.qll b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlow.qll index 137612c52afe..865d7b4d6ce5 100644 --- a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlow.qll +++ b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlow.qll @@ -222,7 +222,7 @@ signature module GlobalFlowSig { } /** - * Constructs a standard data flow computation. + * Constructs a global data flow computation. */ module Global implements GlobalFlowSig { private module C implements FullStateConfigSig { @@ -239,7 +239,7 @@ deprecated module Make implements GlobalFlowSig { } /** - * Constructs a data flow computation using flow state. + * Constructs a global data flow computation using flow state. */ module GlobalWithState implements GlobalFlowSig { private module C implements FullStateConfigSig { 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 3f8cef3698a7..872ac8d4cb80 100644 --- a/swift/ql/lib/codeql/swift/dataflow/internal/tainttracking1/TaintTracking.qll +++ b/swift/ql/lib/codeql/swift/dataflow/internal/tainttracking1/TaintTracking.qll @@ -33,7 +33,7 @@ private module AddTaintDefaults imp } /** - * Constructs a standard taint tracking computation. + * Constructs a global taint tracking computation. */ module Global implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { @@ -54,7 +54,7 @@ deprecated module Make implements DataFlow::GlobalFl } /** - * Constructs a taint tracking computation using flow state. + * Constructs a global taint tracking computation using flow state. */ module GlobalWithState implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {