Module ExternalFlowExtensions
This module provides extensible predicates for defining MaD models.
Import path
import semmle.code.java.dataflow.ExternalFlowExtensions
Predicates
| experimentalSinkModel |
Holds if an experimental sink model exists for the given parameters. This is only for experimental queries. |
| experimentalSourceModel |
Holds if an experimental source model exists for the given parameters. This is only for experimental queries. |
| experimentalSummaryModel |
Holds if an experimental summary model exists for the given parameters. This is only for experimental queries. |
| neutralModel |
Holds if a neutral model exists indicating there is no flow 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. |