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.DataFlowImplCommon
Imports
PrunedViableImpl<Cached::CachedCallContextSensitivity::PrunedViableImplInput> | This module is only parameterized so that we can refer to cached versions of the input predicates in |