Module Public::SummaryComponent
Provides predicates for constructing summary components.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
Predicates
argument | Gets a summary component for an argument at position |
content | Gets a summary component for content |
parameter | Gets a summary component for a parameter at position |
return | Gets a summary component for a return of kind |
syntheticGlobal | Gets a summary component for synthetic global |
withContent | Gets a summary component where data must be stored in |
withoutContent | Gets a summary component where data is not allowed to be stored in |
Classes
SyntheticGlobal | A synthetic global. This represents some form of global state, which summaries can read and write individually. |