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

Predicate MakeImplCommon::noPrunedViableImplInCallContext

Holds if call does not have a reduced set of dispatch targets in call context ctx.

Import path

import codeql.dataflow.internal.DataFlowImplCommon
predicate noPrunedViableImplInCallContext(DataFlowCall call, CallContext ctx)