Module MakeImplCommon::Cached
Import path
import codeql.dataflow.internal.DataFlowImplCommon
Imports
FlowThrough | Provides predicates for calculating flow-through summaries. |
Predicates
allowParameterReturnInSelfCached | |
argumentNode | |
callEnclosingCallable | |
castNode | |
castingNode | |
clearsContentCached | |
compatibleTypesCached | |
expectsContentCached | |
forceCachingInSameStage | If needed, call this predicate from |
getAnOutNodeExt | |
getContentApproxCached | |
getParamReturnPosition | |
getReturnPositionEx | |
getSecondLevelScopeCached | |
getUnreachableSet | |
getValueReturnPosition | |
hiddenNode | |
isTopType | |
isUnreachableInCallCached | |
jumpStepCached | |
localFlowStepExImpl | Holds if data can flow in one local step from |
mayBenefitFromCallContextExt | Holds if the set of viable implementations that can be called by |
nodeDataFlowType | |
nodeEnclosingCallable | |
outNodeExt | |
paramMustFlow | |
parameterNode | |
readSet | |
simpleLocalFlowStepExt | |
store | Holds if data can flow from |
storeSet | |
typeStrongerThanCached | |
viableCallableCached | |
viableCallableLambda | Gets a viable target for the lambda call |
viableImplInCallContextExt | Gets a viable dispatch target of |
viableParamArg | Holds if |
viableReturnPosOut | Holds if a value at return position |
Classes
UnreachableSet | A set of nodes that is unreachable in some call context. |
Datatypes
Modules
CachedCallContextSensitivity | A cached version of the |
Aliases
UnreachableSetOption | An option type. This is either a singleton |