Module DispatchImpl
Import path
import semmle.code.csharp.dataflow.internal.DataFlowDispatch
Predicates
mayBenefitFromCallContext | Holds if the set of viable implementations that can be called by |
viableImplInCallContext | Gets a viable dispatch target of |