Predicate barrierModel

Holds if a barrier model exists for the given parameters.

Import path

import semmle.code.java.dataflow.internal.ExternalFlowExtensions

predicate barrierModel(string package, string type, boolean subtypes, string name, string signature, string ext, string output, string kind, string provenance, ExtensionId madId)