CodeQL library for Java
codeql/java-all 0.4.0-dev (changelog, source)
Search

Module Cached::DispatchWithCallContext

Import path

import semmle.code.java.dataflow.internal.DataFlowImplCommon

Predicates

prunedViableImplInCallContext

Gets a viable run-time dispatch target for the call call in the context ctx. This is restricted to those calls for which a context makes a difference.

prunedViableImplInCallContextReverse

Gets a viable run-time dispatch target for the call call in the context ctx. This is restricted to those calls and results for which the return flow from the result to call restricts the possible context ctx.

reducedViableImplInCallContext

Holds if the call context ctx reduces the set of viable run-time dispatch targets of call call in c.

reducedViableImplInReturn

Holds if flow returning from callable c to call call might return further and if this path restricts the set of call sites that can be returned to.