Module signature TypeTracking::CallGraphConstruction::InputSig
The input to call graph construction.
Import path
import codeql.typetracking.internal.TypeTrackingImpl
Predicates
filter | Holds if type tracking should stop at |
start | Holds if type tracking should start at |
stateProj | Gets the projection of |
stepCall | Holds if type tracking should use the step from |
stepNoCall | Holds if type tracking should use the step from |