Module Internal::PreCfg::CachedWithCfg

Import path

import semmle.code.csharp.controlflow.Guards

emptyValue
getAnEqualityCheck	Gets an expression that tests whether expression `e1` is equal to expression `e2`.
isCustomNullCheck
isGuard
nonEmptyValue
nonNullValueImplied
nullValueImplied
preImpliesStep	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`.