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

Module Internal::Cached

Import path

import semmle.code.csharp.controlflow.Guards

Predicates

guardControls

Holds if basic block bb only is reached when guard g has abstract value v.

impliesStep

Holds if the assumption that g1 has abstract value v1 implies that g2 has abstract value v2, using one step of reasoning. That is, the evaluation of g2 to v2 dominates the evaluation of g1 to v1.

isGuardedByExpr
isGuardedByNode