Module signature DataFlowMake::GlobalFlowSig

The output of a global data flow computation.

Import path

import codeql.dataflow.DataFlow

Predicates

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`.

Types

PathNode

A Node augmented with a call context (except for sinks) and an access path. Only those PathNodes that are reachable from a source, and which can reach a sink, are generated.