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