Module TypeTracking::TypeTrack::Graph

Given a sink definition, constructs the relation of edges that can be used in a source-sink path and calculates the set of source-sink pairs.

Import path

import codeql.typetracking.internal.TypeTrackingImpl

edges	Holds if `(p1, p2)` is an edge in a path between a source and a sink.
flowPath	Holds if there is a path between `source` and `sink`.
hasFlow	DEPRECATED: Use `flowPath` instead.

PathNode	A node on a path that is reachable from a source and can reach a sink. This is a pair of a `Node` and a `TypeTracker`.
PathNodeFwd	A node on a path that is reachable from a source. This is a pair of a `Node` and a `TypeTracker` except at sinks for which there is no `TypeTracker`.

sink