Module CsharpDataFlow
Import path
import semmle.code.csharp.dataflow.internal.DataFlowImplSpecific
Predicates
exprNode | Gets the node corresponding to |
neverSkipInPathGraph | Holds if |
Aliases
accessPathLimit | |
mayBenefitFromCallContext | Holds if the set of viable implementations that can be called by |
viableImplInCallContext | Gets a viable dispatch target of |