Module Internal::PreCfg::CachedWithCfg
Import path
import semmle.code.csharp.controlflow.Guards
Predicates
emptyValue | |
getAnEqualityCheck | Gets an expression that tests whether expression |
isCustomNullCheck | |
isGuard | |
nonEmptyValue | |
nonNullValueImplied | |
nullValueImplied | |
preImpliesStep | Holds if the assumption that |