Module TypeTracking::CallGraphConstruction::Make
Provides the track
predicate for use in call graph construction.
Import path
import codeql.typetracking.internal.TypeTrackingImpl
Predicates
track | Gets a node that can be reached from some start node in state |
Parameters
Input | InputSig |