Predicate experimentalSummaryModel
Holds if an experimental summary model exists for the given parameters. This is only for experimental queries.
Import path
import semmle.code.java.dataflow.ExternalFlowExtensions
Holds if an experimental summary model exists for the given parameters. This is only for experimental queries.
import semmle.code.java.dataflow.ExternalFlowExtensions