Module CsharpDataFlow

Import path

import semmle.code.csharp.dataflow.internal.DataFlowImplSpecific

Private
Public

exprNode	Gets the node corresponding to `e`.
neverSkipInPathGraph	Holds if `n` should never be skipped over in the `PathGraph` and in path explanations.

accessPathLimit
mayBenefitFromCallContext	Holds if the set of viable implementations that can be called by `call` might be improved by knowing the call context.
viableImplInCallContext	Gets a viable dispatch target of `call` in the context `ctx`. This is restricted to those `call`s for which a context might make a difference.