Module signature TypeTracking::CallGraphConstruction::InputSig

The input to call graph construction.

Import path

import codeql.typetracking.internal.TypeTrackingImpl

filter	Holds if type tracking should stop at `n` when we are tracking projected state `stateProj`.
start	Holds if type tracking should start at `start` in state `state`.
stateProj	Gets the projection of `state`.
stepCall	Holds if type tracking should use the step from `nodeFrom` to `nodeTo`, which does depend on the call graph.
stepNoCall	Holds if type tracking should use the step from `nodeFrom` to `nodeTo`, which does not depend on the call graph.

State	A state to track during type tracking.
StateProj	A projection of an element from the state space.