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

Predicate signature MakeImplCommon::CallContextSensitivityInputSig::reducedViableImplInReturnCand

Holds if flow returning from callable c to call call might return further and if this path may restrict the set of call sites that can be returned to.

signature predicate reducedViableImplInReturnCand(DataFlowCallable c, DataFlowCall call)