Dataflow: Rename SpeculativeFlow to SpeculativeGlobal.

github · Oct 30, 2024 · 570b042 · 570b042
1 parent 4153a83
commit 570b042
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/shared/dataflow/codeql/dataflow/TaintTracking.qll b/shared/dataflow/codeql/dataflow/TaintTracking.qll
@@ -212,7 +212,7 @@ module TaintFlowMake<
    * Constructs a global taint tracking computation that also allows a given
    * maximum number of speculative taint steps.
    */
-  module SpeculativeFlow<DataFlow::ConfigSig Config, speculationLimitSig/0 speculationLimit>
+  module SpeculativeGlobal<DataFlow::ConfigSig Config, speculationLimitSig/0 speculationLimit>
     implements DataFlow::GlobalFlowSig
   {
     private module Config0 implements DataFlowInternal::FullStateConfigSig {
@@ -237,7 +237,7 @@ module TaintFlowMake<
    * Constructs a global taint tracking computation using flow state that also
    * allows a given maximum number of speculative taint steps.
    */
-  module SpeculativeFlowWithState<
+  module SpeculativeGlobalWithState<
     DataFlow::StateConfigSig Config, speculationLimitSig/0 speculationLimit> implements
     DataFlow::GlobalFlowSig
   {