Module Internal :: Cached

Import path


                                import semmle.code.csharp.controlflow.Guards

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