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

Predicate viableImpl_out

Gets a viable dispatch target for ma. This is the output dispatch relation.

The set of dispatch targets for Object.toString() calls are reduced based on possible data flow from objects of more specific types to the qualifier.

Import path

import semmle.code.java.dispatch.ObjFlow
Method viableImpl_out(MethodCall ma)