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.Guardspredicate 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.Guardspredicate guardControls(Guard g, BasicBlock bb, AbstractValue v)