Module MakeImplCommon::CallContextSensitivity

Provides predicates releated to call-context sensitivity.

Import path

import codeql.dataflow.internal.DataFlowImplCommon

This module is only parameterized so that we can refer to cached versions of the input predicates in CachedCallContextSensitivity.

recordDataFlowCallSiteUnreachable	Holds if the call context `call` allows us to prune unreachable nodes in `callable`.
reducedViableImplInCallContext	Holds if the call context `ctx` reduces the set of viable run-time dispatch targets of call `call` in `c`.
reducedViableImplInReturn	Holds if flow returning from callable `c` to call `call` might return further and if this path restricts the set of call sites that can be returned to.
viableImplInCallContextExtIn
viableImplInCallContextExtOut

This module is only parameterized so that we can refer to cached versions of the input predicates in CachedCallContextSensitivity.

Input