Import path
import semmle.code.csharp.controlflow.Guards
Predicates
guardControls |
Holds if basic block |
impliesStep |
Holds if the assumption that |
isGuardedByExpr | |
isGuardedByNode |