Predicate signature Cached::DataFlowIntegration::guardChecksSig
Import path
import semmle.code.csharp.dataflow.internal.SsaImplsignature predicate guardChecksSig(Guard g, Expr e, AbstractValue v)import semmle.code.csharp.dataflow.internal.SsaImplsignature predicate guardChecksSig(Guard g, Expr e, AbstractValue v)