Module ExternalFlowExtensions

This module provides extensible predicates for defining MaD models.

Import path

import semmle.go.dataflow.internal.ExternalFlowExtensions

barrierGuardModel	Holds if a barrier guard model exists for the given parameters.
barrierModel	Holds if a barrier model exists for the given parameters.
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.