Predicate signature Cached::DataFlowIntegration::guardChecksSig
Import path
import semmle.code.java.dataflow.internal.SsaImplsignature predicate guardChecksSig(Guard g, Expr e, GuardValue gv)import semmle.code.java.dataflow.internal.SsaImplsignature predicate guardChecksSig(Guard g, Expr e, GuardValue gv)