CodeQL library for Python
codeql/python-all 2.1.3-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)