CodeQL library for Swift
codeql/swift-all 2.0.2 (changelog, source)
Search

Predicate MakeImplCommon::CallContextSensitivity::reducedViableImplInCallContext

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

Import path

import codeql.dataflow.internal.DataFlowImplCommon
predicate reducedViableImplInCallContext(DataFlowCall call, DataFlowCallable c, DataFlowCall ctx)