Module ExternalFlowExtensions
This module provides extensible predicates for defining MaD models.
Import path
import semmle.code.java.dataflow.internal.ExternalFlowExtensions
Predicates
experimentalSinkModel | INTERNAL: Do not use. |
experimentalSourceModel | INTERNAL: Do not use. |
experimentalSummaryModel | INTERNAL: Do not use. |
neutralModel | Holds if a neutral model exists for the given parameters. |
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. |