CodeQL library for Java/Kotlin
codeql/java-all 4.2.2-dev (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 of call.

Import path

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