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

Module DispatchImpl

Import path

import semmle.code.java.dataflow.internal.DataFlowDispatch

Predicates

golangSpecificParamArgFilter

Holds if flow from call’s argument arg to parameter p is permissible.

mayBenefitFromCallContext

Holds if the set of viable implementations that can be called by call might be improved by knowing the call context. This is the case if the qualifier is a parameter of the enclosing callable c.

parameterMatch

Holds if arguments at position apos match parameters at position ppos.

viableCallable

Gets a viable implementation of the target of the given Call.

viableImplInCallContext

Gets a viable dispatch target of call in the context ctx. This is restricted to those calls for which a context might make a difference.

Classes

ArgumentPosition

An argument position represented by an integer.

ParameterPosition

A parameter position represented by an integer.