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