Module Cached
Import path
import semmle.code.java.dataflow.internal.DataFlowImplCommon
Imports
DispatchWithCallContext | |
FlowThrough | Provides predicates for calculating flow-through summaries. |
Predicates
allowParameterReturnInSelfCached | |
argumentNode | |
callEnclosingCallable | |
castNode | |
castingNode | |
clearsContentCached | |
expectsContentCached | |
forceCachingInSameStage | If needed, call this predicate from |
getAnOutNodeExt | |
hiddenNode | |
isUnreachableInCallCached | |
jumpStepCached | |
nodeDataFlowType | |
nodeEnclosingCallable | |
outNodeExt | |
parameterNode | |
readSet | |
recordDataFlowCallSiteDispatch | Holds if the call context |
recordDataFlowCallSiteUnreachable | Holds if the call context |
returnNodeExt | |
simpleLocalFlowStepExt | |
store | Holds if data can flow from |
storeSet | |
viableCallableLambda | Gets a viable target for the lambda call |
viableParamArg | Holds if |
viableReturnPosOut | Holds if a value at return position |