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. |