Predicate Internal::Cached::guardControls
Holds if basic block bb
only is reached when guard g
has abstract value v
.
Import path
import semmle.code.csharp.controlflow.Guards
predicate guardControls(Guard g, BasicBlock bb, AbstractValue v)
Holds if basic block bb
only is reached when guard g
has abstract value v
.
import semmle.code.csharp.controlflow.Guards
predicate guardControls(Guard g, BasicBlock bb, AbstractValue v)