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

Graph

Module TypeTrack

source

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 codeql.typetracking.TypeTracking

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

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