Module TypeTracking::TypeTrack
Given a source definition, constructs the default forward type tracking from those sources.
Import path
import codeql.typetracking.internal.TypeTrackingImplPredicates
| 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 |