Predicate neutralModel
Holds if a neutral model exists for the given parameters.
Note that group: references are expanded into one or more actual packages
by this predicate.
Import path
import semmle.go.dataflow.ExternalFlowHolds if a neutral model exists for the given parameters.
Note that group: references are expanded into one or more actual packages
by this predicate.
import semmle.go.dataflow.ExternalFlow