Module ExternalFlowExtensions

This module provides extensible predicates for defining MaD models.

Import path

import semmle.go.dataflow.internal.ExternalFlowExtensions

neutralModel	Holds if a neutral model exists for the given parameters.
packageGrouping	Holds if the package `package` is part of the group `group`.
sinkModel	Holds if a sink model exists for the given parameters.
sourceModel	Holds if a source model exists for the given parameters.
summaryModel	Holds if a summary model exists for the given parameters.