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

Module CsharpDataFlow

Import path

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

Imports

Predicates

exprNode

Gets the node corresponding to e.

neverSkipInPathGraph

Holds if n should never be skipped over in the PathGraph and in path explanations.

Aliases

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 calls for which a context might make a difference.