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

Module Cached

A collection of cached types and predicates to be evaluated in the same stage.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate

Predicates

commonSubType

Holds if GVNs t1 and t2 may have a common sub type. Neither t1 nor t2 are allowed to be type parameters.

commonSubTypeUnifiableLeft
localFlowStepImpl

Holds if data flows from nodeFrom to nodeTo in exactly one local (intra-procedural) step.

Datatypes