For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

Impl

Module DataFlowImpl

Constructs a data flow computation given a full input configuration.


                                import semmle.code.cpp.ir.dataflow.internal.DataFlowImpl

flow	Holds if data can flow from `source` to `sink`.
flowPath	Holds if data can flow from `source` to `sink`.
flowTo	Holds if data can flow from some source to `sink`.
flowToExpr	Holds if data can flow from some source to `sink`.
stageStats	INTERNAL: Only for debugging.

Ap	Conceptually a list of `TypedContent`s followed by a `DataFlowType`, but only the first two elements of the list and its length are tracked. If data flows from a source to a given node with a given `AccessPathApprox`, this indicates the sequence of dereference operations needed to get from the value in the node to the tracked object. The final type indicates the type of the tracked object.
ApNil
ApOption
PathNode	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.

FlowExploration
PathGraph	Provides the query predicates needed to include a graph in a path-problem query.

hasFlow	DEPRECATED: Use `flow` instead.
hasFlowPath	DEPRECATED: Use `flowPath` instead.
hasFlowTo	DEPRECATED: Use `flowTo` instead.
hasFlowToExpr	DEPRECATED: Use `flowToExpr` instead.

Config