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

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

predicate mayBenefitFromCallContext ( DataFlowCall call , DataFlowCallable c )