Module TypeTracking::TypeTrack
Given a source definition, constructs the default forward type tracking from those sources.
Import path
import codeql.typetracking.internal.TypeTrackingImpl
Predicates
flowsTo | Holds if a source flows to |
Modules
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. |
Parameters
source | endpoint |