A cached version of the CallContextSensitivity module. Only used in
pruning stages 1+2 and flow exploration; all subsequent pruning stages use a
pruned version, based on the relevant call edges from the previous stage.
Import path
import codeql.dataflow.internal.DataFlowImplCommonImports
| PrunedViableImpl<Cached::CachedCallContextSensitivity::PrunedViableImplInput> | This module is only parameterized so that we can refer to cached versions of the input predicates in |