Module signature MakeImplCommon::TypeFlowInput
Import path
import codeql.dataflow.internal.DataFlowImplCommon
Predicates
dataFlowNonCallEntry | Holds if data flow enters |
dataFlowTakenCallEdgeIn | Holds if the edge is followed in data flow in the direction |
dataFlowTakenCallEdgeOut | Holds if the edge is followed in data flow in the direction |
enableTypeFlow | |
relevantCallEdgeIn | Holds if the edge is possibly needed in the direction |
relevantCallEdgeOut | Holds if the edge is possibly needed in the direction |