Module Private

Import path

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

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.

parseArgBody	Gets the parameter position obtained by parsing `X` in `Argument[X]`.
parseParamBody	Gets the argument position obtained by parsing `X` in `Parameter[X]`.

External
SummaryComponent	Provides predicates for constructing summary components.
SummaryComponentStack

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