Predicate Internal::Cached::isGuardedByExpr
Import path
import semmle.code.csharp.controlflow.Guardspredicate isGuardedByExpr(AccessOrCallExpr guarded, Guard g, AccessOrCallExpr sub, AbstractValue v)import semmle.code.csharp.controlflow.Guardspredicate isGuardedByExpr(AccessOrCallExpr guarded, Guard g, AccessOrCallExpr sub, AbstractValue v)