File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
shared/dataflow/codeql/dataflow Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -212,7 +212,7 @@ module TaintFlowMake<
212
212
* Constructs a global taint tracking computation that also allows a given
213
213
* maximum number of speculative taint steps.
214
214
*/
215
- module SpeculativeFlow < DataFlow:: ConfigSig Config, speculationLimitSig / 0 speculationLimit>
215
+ module SpeculativeGlobal < DataFlow:: ConfigSig Config, speculationLimitSig / 0 speculationLimit>
216
216
implements DataFlow:: GlobalFlowSig
217
217
{
218
218
private module Config0 implements DataFlowInternal:: FullStateConfigSig {
@@ -237,7 +237,7 @@ module TaintFlowMake<
237
237
* Constructs a global taint tracking computation using flow state that also
238
238
* allows a given maximum number of speculative taint steps.
239
239
*/
240
- module SpeculativeFlowWithState <
240
+ module SpeculativeGlobalWithState <
241
241
DataFlow:: StateConfigSig Config, speculationLimitSig / 0 speculationLimit> implements
242
242
DataFlow:: GlobalFlowSig
243
243
{
You can’t perform that action at this time.
0 commit comments