Module TypeTracking::CallGraphConstruction::Simple::Make
Provides the track
predicate for use in call graph construction.
Import path
import codeql.typetracking.internal.TypeTrackingImpl
Imports
Make<Simple::Make::SimpleInput> | Provides the |
Parameters
Input | InputSig |