CodeQL library for Java/Kotlin
codeql/java-all 6.1.1-dev (changelog, source)
Search

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.