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