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 |
Predicates
parseArgBody | Gets the parameter position obtained by parsing |
parseParamBody | Gets the argument position obtained by parsing |
Modules
External | |
SummaryComponent | Provides predicates for constructing summary components. |
SummaryComponentStack |
Aliases
Steps | Provides a compilation of flow summaries to atomic data-flow steps. |