hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-22 19:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Dataflow: Sync.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2023-03-23 13:40:23 +01:00
parent 4993e7c149
commit d440bc2d0c
14 changed files with 70 additions and 70 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlow.qll
View File

@@ -188,9 +188,9 @@ signature module StateConfigSig {
signature int explorationLimitSig(); signature int explorationLimitSig();
/** /**
* The output of a data flow computation. * The output of a global data flow computation.
*/ */
signature module DataFlowSig { signature module GlobalFlowSig {
/** /**
* A `Node` augmented with a call context (except for sinks) and an access path. * A `Node` augmented with a call context (except for sinks) and an access path.
* Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated. * Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated.
@@ -224,7 +224,7 @@ signature module DataFlowSig {
/** /**
* Constructs a standard data flow computation. * Constructs a standard data flow computation.
*/ */
module Global<ConfigSig Config> implements DataFlowSig { module Global<ConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import DefaultState<Config> import DefaultState<Config>
import Config import Config
@@ -234,14 +234,14 @@ module Global<ConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<ConfigSig Config> implements DataFlowSig { deprecated module Make<ConfigSig Config> implements GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a data flow computation using flow state. * Constructs a data flow computation using flow state.
*/ */
module GlobalWithState<StateConfigSig Config> implements DataFlowSig { module GlobalWithState<StateConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import Config import Config
} }
@@ -250,7 +250,7 @@ module GlobalWithState<StateConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<StateConfigSig Config> implements DataFlowSig { deprecated module MakeWithState<StateConfigSig Config> implements GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }

8
cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTracking.qll
View File

@@ -35,7 +35,7 @@ private module AddTaintDefaults<DataFlowInternal::FullStateConfigSig Config> imp
/** /**
* Constructs a standard taint tracking computation. * Constructs a standard taint tracking computation.
*/ */
module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { module Global<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import DataFlowInternal::DefaultState<Config> import DataFlowInternal::DefaultState<Config>
import Config import Config
@@ -49,14 +49,14 @@ module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a taint tracking computation using flow state. * Constructs a taint tracking computation using flow state.
*/ */
module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import Config import Config
} }
@@ -69,6 +69,6 @@ module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::Dat
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }

12
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlow.qll
View File

@@ -188,9 +188,9 @@ signature module StateConfigSig {
signature int explorationLimitSig(); signature int explorationLimitSig();
/** /**
* The output of a data flow computation. * The output of a global data flow computation.
*/ */
signature module DataFlowSig { signature module GlobalFlowSig {
/** /**
* A `Node` augmented with a call context (except for sinks) and an access path. * A `Node` augmented with a call context (except for sinks) and an access path.
* Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated. * Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated.
@@ -224,7 +224,7 @@ signature module DataFlowSig {
/** /**
* Constructs a standard data flow computation. * Constructs a standard data flow computation.
*/ */
module Global<ConfigSig Config> implements DataFlowSig { module Global<ConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import DefaultState<Config> import DefaultState<Config>
import Config import Config
@@ -234,14 +234,14 @@ module Global<ConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<ConfigSig Config> implements DataFlowSig { deprecated module Make<ConfigSig Config> implements GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a data flow computation using flow state. * Constructs a data flow computation using flow state.
*/ */
module GlobalWithState<StateConfigSig Config> implements DataFlowSig { module GlobalWithState<StateConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import Config import Config
} }
@@ -250,7 +250,7 @@ module GlobalWithState<StateConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<StateConfigSig Config> implements DataFlowSig { deprecated module MakeWithState<StateConfigSig Config> implements GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }

8
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTracking.qll
View File

@@ -35,7 +35,7 @@ private module AddTaintDefaults<DataFlowInternal::FullStateConfigSig Config> imp
/** /**
* Constructs a standard taint tracking computation. * Constructs a standard taint tracking computation.
*/ */
module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { module Global<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import DataFlowInternal::DefaultState<Config> import DataFlowInternal::DefaultState<Config>
import Config import Config
@@ -49,14 +49,14 @@ module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a taint tracking computation using flow state. * Constructs a taint tracking computation using flow state.
*/ */
module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import Config import Config
} }
@@ -69,6 +69,6 @@ module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::Dat
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }

12
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlow.qll
View File

@@ -188,9 +188,9 @@ signature module StateConfigSig {
signature int explorationLimitSig(); signature int explorationLimitSig();
/** /**
* The output of a data flow computation. * The output of a global data flow computation.
*/ */
signature module DataFlowSig { signature module GlobalFlowSig {
/** /**
* A `Node` augmented with a call context (except for sinks) and an access path. * A `Node` augmented with a call context (except for sinks) and an access path.
* Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated. * Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated.
@@ -224,7 +224,7 @@ signature module DataFlowSig {
/** /**
* Constructs a standard data flow computation. * Constructs a standard data flow computation.
*/ */
module Global<ConfigSig Config> implements DataFlowSig { module Global<ConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import DefaultState<Config> import DefaultState<Config>
import Config import Config
@@ -234,14 +234,14 @@ module Global<ConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<ConfigSig Config> implements DataFlowSig { deprecated module Make<ConfigSig Config> implements GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a data flow computation using flow state. * Constructs a data flow computation using flow state.
*/ */
module GlobalWithState<StateConfigSig Config> implements DataFlowSig { module GlobalWithState<StateConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import Config import Config
} }
@@ -250,7 +250,7 @@ module GlobalWithState<StateConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<StateConfigSig Config> implements DataFlowSig { deprecated module MakeWithState<StateConfigSig Config> implements GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }

8
csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking1/TaintTracking.qll
View File

@@ -35,7 +35,7 @@ private module AddTaintDefaults<DataFlowInternal::FullStateConfigSig Config> imp
/** /**
* Constructs a standard taint tracking computation. * Constructs a standard taint tracking computation.
*/ */
module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { module Global<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import DataFlowInternal::DefaultState<Config> import DataFlowInternal::DefaultState<Config>
import Config import Config
@@ -49,14 +49,14 @@ module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a taint tracking computation using flow state. * Constructs a taint tracking computation using flow state.
*/ */
module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import Config import Config
} }
@@ -69,6 +69,6 @@ module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::Dat
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }

12
go/ql/lib/semmle/go/dataflow/internal/DataFlow.qll
View File

@@ -188,9 +188,9 @@ signature module StateConfigSig {
signature int explorationLimitSig(); signature int explorationLimitSig();
/** /**
* The output of a data flow computation. * The output of a global data flow computation.
*/ */
signature module DataFlowSig { signature module GlobalFlowSig {
/** /**
* A `Node` augmented with a call context (except for sinks) and an access path. * A `Node` augmented with a call context (except for sinks) and an access path.
* Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated. * Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated.
@@ -224,7 +224,7 @@ signature module DataFlowSig {
/** /**
* Constructs a standard data flow computation. * Constructs a standard data flow computation.
*/ */
module Global<ConfigSig Config> implements DataFlowSig { module Global<ConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import DefaultState<Config> import DefaultState<Config>
import Config import Config
@@ -234,14 +234,14 @@ module Global<ConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<ConfigSig Config> implements DataFlowSig { deprecated module Make<ConfigSig Config> implements GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a data flow computation using flow state. * Constructs a data flow computation using flow state.
*/ */
module GlobalWithState<StateConfigSig Config> implements DataFlowSig { module GlobalWithState<StateConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import Config import Config
} }
@@ -250,7 +250,7 @@ module GlobalWithState<StateConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<StateConfigSig Config> implements DataFlowSig { deprecated module MakeWithState<StateConfigSig Config> implements GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }

8
go/ql/lib/semmle/go/dataflow/internal/tainttracking1/TaintTracking.qll
View File

@@ -35,7 +35,7 @@ private module AddTaintDefaults<DataFlowInternal::FullStateConfigSig Config> imp
/** /**
* Constructs a standard taint tracking computation. * Constructs a standard taint tracking computation.
*/ */
module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { module Global<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import DataFlowInternal::DefaultState<Config> import DataFlowInternal::DefaultState<Config>
import Config import Config
@@ -49,14 +49,14 @@ module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a taint tracking computation using flow state. * Constructs a taint tracking computation using flow state.
*/ */
module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import Config import Config
} }
@@ -69,6 +69,6 @@ module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::Dat
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }

12
python/ql/lib/semmle/python/dataflow/new/internal/DataFlow.qll
View File

@@ -188,9 +188,9 @@ signature module StateConfigSig {
signature int explorationLimitSig(); signature int explorationLimitSig();
/** /**
* The output of a data flow computation. * The output of a global data flow computation.
*/ */
signature module DataFlowSig { signature module GlobalFlowSig {
/** /**
* A `Node` augmented with a call context (except for sinks) and an access path. * A `Node` augmented with a call context (except for sinks) and an access path.
* Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated. * Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated.
@@ -224,7 +224,7 @@ signature module DataFlowSig {
/** /**
* Constructs a standard data flow computation. * Constructs a standard data flow computation.
*/ */
module Global<ConfigSig Config> implements DataFlowSig { module Global<ConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import DefaultState<Config> import DefaultState<Config>
import Config import Config
@@ -234,14 +234,14 @@ module Global<ConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<ConfigSig Config> implements DataFlowSig { deprecated module Make<ConfigSig Config> implements GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a data flow computation using flow state. * Constructs a data flow computation using flow state.
*/ */
module GlobalWithState<StateConfigSig Config> implements DataFlowSig { module GlobalWithState<StateConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import Config import Config
} }
@@ -250,7 +250,7 @@ module GlobalWithState<StateConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<StateConfigSig Config> implements DataFlowSig { deprecated module MakeWithState<StateConfigSig Config> implements GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }

8
python/ql/lib/semmle/python/dataflow/new/internal/tainttracking1/TaintTracking.qll
View File

@@ -35,7 +35,7 @@ private module AddTaintDefaults<DataFlowInternal::FullStateConfigSig Config> imp
/** /**
* Constructs a standard taint tracking computation. * Constructs a standard taint tracking computation.
*/ */
module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { module Global<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import DataFlowInternal::DefaultState<Config> import DataFlowInternal::DefaultState<Config>
import Config import Config
@@ -49,14 +49,14 @@ module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a taint tracking computation using flow state. * Constructs a taint tracking computation using flow state.
*/ */
module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import Config import Config
} }
@@ -69,6 +69,6 @@ module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::Dat
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }

12
ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlow.qll
View File

@@ -188,9 +188,9 @@ signature module StateConfigSig {
signature int explorationLimitSig(); signature int explorationLimitSig();
/** /**
* The output of a data flow computation. * The output of a global data flow computation.
*/ */
signature module DataFlowSig { signature module GlobalFlowSig {
/** /**
* A `Node` augmented with a call context (except for sinks) and an access path. * A `Node` augmented with a call context (except for sinks) and an access path.
* Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated. * Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated.
@@ -224,7 +224,7 @@ signature module DataFlowSig {
/** /**
* Constructs a standard data flow computation. * Constructs a standard data flow computation.
*/ */
module Global<ConfigSig Config> implements DataFlowSig { module Global<ConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import DefaultState<Config> import DefaultState<Config>
import Config import Config
@@ -234,14 +234,14 @@ module Global<ConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<ConfigSig Config> implements DataFlowSig { deprecated module Make<ConfigSig Config> implements GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a data flow computation using flow state. * Constructs a data flow computation using flow state.
*/ */
module GlobalWithState<StateConfigSig Config> implements DataFlowSig { module GlobalWithState<StateConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import Config import Config
} }
@@ -250,7 +250,7 @@ module GlobalWithState<StateConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<StateConfigSig Config> implements DataFlowSig { deprecated module MakeWithState<StateConfigSig Config> implements GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }

8
ruby/ql/lib/codeql/ruby/dataflow/internal/tainttracking1/TaintTracking.qll
View File

@@ -35,7 +35,7 @@ private module AddTaintDefaults<DataFlowInternal::FullStateConfigSig Config> imp
/** /**
* Constructs a standard taint tracking computation. * Constructs a standard taint tracking computation.
*/ */
module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { module Global<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import DataFlowInternal::DefaultState<Config> import DataFlowInternal::DefaultState<Config>
import Config import Config
@@ -49,14 +49,14 @@ module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a taint tracking computation using flow state. * Constructs a taint tracking computation using flow state.
*/ */
module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import Config import Config
} }
@@ -69,6 +69,6 @@ module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::Dat
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }

12
swift/ql/lib/codeql/swift/dataflow/internal/DataFlow.qll
View File

@@ -188,9 +188,9 @@ signature module StateConfigSig {
signature int explorationLimitSig(); signature int explorationLimitSig();
/** /**
* The output of a data flow computation. * The output of a global data flow computation.
*/ */
signature module DataFlowSig { signature module GlobalFlowSig {
/** /**
* A `Node` augmented with a call context (except for sinks) and an access path. * A `Node` augmented with a call context (except for sinks) and an access path.
* Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated. * Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated.
@@ -224,7 +224,7 @@ signature module DataFlowSig {
/** /**
* Constructs a standard data flow computation. * Constructs a standard data flow computation.
*/ */
module Global<ConfigSig Config> implements DataFlowSig { module Global<ConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import DefaultState<Config> import DefaultState<Config>
import Config import Config
@@ -234,14 +234,14 @@ module Global<ConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<ConfigSig Config> implements DataFlowSig { deprecated module Make<ConfigSig Config> implements GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a data flow computation using flow state. * Constructs a data flow computation using flow state.
*/ */
module GlobalWithState<StateConfigSig Config> implements DataFlowSig { module GlobalWithState<StateConfigSig Config> implements GlobalFlowSig {
private module C implements FullStateConfigSig { private module C implements FullStateConfigSig {
import Config import Config
} }
@@ -250,7 +250,7 @@ module GlobalWithState<StateConfigSig Config> implements DataFlowSig {
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<StateConfigSig Config> implements DataFlowSig { deprecated module MakeWithState<StateConfigSig Config> implements GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }

8
swift/ql/lib/codeql/swift/dataflow/internal/tainttracking1/TaintTracking.qll
View File

@@ -35,7 +35,7 @@ private module AddTaintDefaults<DataFlowInternal::FullStateConfigSig Config> imp
/** /**
* Constructs a standard taint tracking computation. * Constructs a standard taint tracking computation.
*/ */
module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { module Global<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import DataFlowInternal::DefaultState<Config> import DataFlowInternal::DefaultState<Config>
import Config import Config
@@ -49,14 +49,14 @@ module Global<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig {
} }
/** DEPRECATED: Use `Global` instead. */ /** DEPRECATED: Use `Global` instead. */
deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::DataFlowSig { deprecated module Make<DataFlow::ConfigSig Config> implements DataFlow::GlobalFlowSig {
import Global<Config> import Global<Config>
} }
/** /**
* Constructs a taint tracking computation using flow state. * Constructs a taint tracking computation using flow state.
*/ */
module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
private module Config0 implements DataFlowInternal::FullStateConfigSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {
import Config import Config
} }
@@ -69,6 +69,6 @@ module GlobalWithState<DataFlow::StateConfigSig Config> implements DataFlow::Dat
} }
/** DEPRECATED: Use `GlobalWithState` instead. */ /** DEPRECATED: Use `GlobalWithState` instead. */
deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::DataFlowSig { deprecated module MakeWithState<DataFlow::StateConfigSig Config> implements DataFlow::GlobalFlowSig {
import GlobalWithState<Config> import GlobalWithState<Config>
} }