Module AbstractValues
DEPRECATED: Use GuardValue member predicates instead.
Provides different types of AbstractValuess.
Import path
import semmle.code.csharp.controlflow.GuardsDEPRECATED: Use GuardValue member predicates instead.
Provides different types of AbstractValuess.
import semmle.code.csharp.controlflow.Guards