Module signature MakeImplCommon::CallContextSensitivityInputSig

Import path

import codeql.dataflow.internal.DataFlowImplCommon

reducedViableImplInCallContextCand	Holds if the call context `ctx` may reduce the set of viable run-time dispatch targets of call `call` in `c`.
reducedViableImplInReturnCand	Holds if flow returning from callable `c` to call `call` might return further and if this path may restrict the set of call sites that can be returned to.
relevantCallEdgeIn	Holds if the edge is possibly needed in the direction `call` to `c`.
relevantCallEdgeOut	Holds if the edge is possibly needed in the direction `c` to `call`.