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
Predicates
Classes
PathNode | A node on a path that is reachable from a source and can reach a sink. This is a pair of a |
PathNodeFwd | A node on a path that is reachable from a source. This is a pair of a |
Parameters
sink | endpoint |