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

Module Private

Import path

import semmle.code.java.dataflow.internal.FlowSummaryImpl

Imports

Private

Provides predicates for compiling flow summaries down to atomic local steps, read steps, and store steps.

Types<FlowSummaryImpl::TypesInput>

Provides the predicate summaryNodeType for associating types with summary nodes.

Predicates

parseArgBody

Gets the parameter position obtained by parsing X in Argument[X].

parseParamBody

Gets the argument position obtained by parsing X in Parameter[X].

Modules

External
SummaryComponent

Provides predicates for constructing summary components.

SummaryComponentStack

Aliases

Steps

Provides a compilation of flow summaries to atomic data-flow steps.