CodeQL library for Java/Kotlin
codeql/java-all 0.10.0 (changelog, source)
Search

Module MakeImplCommon::Cached::CachedCallContextSensitivity

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 CachedCallContextSensitivity.

Predicates