Module ExternalFlowExtensions
This module provides extensible predicates for defining MaD models.
Import path
import semmle.go.dataflow.internal.ExternalFlowExtensionsPredicates
| 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. |