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

Predicate DispatchImpl :: 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.

Import path

import semmle.code.java.dataflow.internal.DataFlowDispatch
predicate mayBenefitFromCallContext ( DataFlowCall call , DataFlowCallable c )