CodeQL library for C#
codeql/csharp-all 1.0.1 (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
forceCaching
localFlowStepImpl

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

Datatypes