CodeQL library for Python
codeql/python-all 1.0.1 (changelog, source)
Search

Module signature MakeImplCommon::CallContextSensitivityInputSig

Import path

import codeql.dataflow.internal.DataFlowImplCommon

Predicates

reducedViableImplInCallContextCand

Holds if the call context ctx may reduce the set of viable run-time dispatch targets of call call in c.

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.

relevantCallEdgeIn

Holds if the edge is possibly needed in the direction call to c.

relevantCallEdgeOut

Holds if the edge is possibly needed in the direction c to call.