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