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

Member predicate GuardedExpr::getAGuard

Gets an expression that guards this expression. That is, this expression is only reached when the returned expression has abstract value v.

The expression sub is a sub expression of the guarding expression that is structurally equal to this expression.

In case this expression or sub accesses an SSA variable in its left-most qualifier, then so must the other (accessing the same SSA variable).

Guard getAGuard(Expr sub, AbstractValue v)