Predicate sinkModel

Holds if a sink model exists for the given parameters.

Import path

import semmle.go.dataflow.internal.ExternalFlowExtensions

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