Predicate barrierGuardModel

Holds if a barrier guard model exists for the given parameters.

Import path

import semmle.go.dataflow.internal.ExternalFlowExtensions

predicate barrierGuardModel(string package, string type, boolean subtypes, string name, string signature, string ext, string input, string acceptingvalue, string kind, string provenance, ExtensionId madId)