CodeQL library for C#
codeql/csharp-all 3.1.1 (changelog, source)
Search

Member predicate DispatchCall::mayBenefitFromCallContext

Holds if a call context may limit the set of viable source declaration run-time targets of this call.

This is the case if the qualifier is either a this access or a parameter access, as the corresponding qualifier/argument in the call context may have a more precise type.

predicate mayBenefitFromCallContext()