Module SummaryComponent
Provides predicates for constructing summary components.
Import path
import semmle.code.java.dataflow.FlowSummary
Imports
SummaryComponent | Provides predicates for constructing summary components. |
Predicates
arrayElement | Gets a summary component for |
element | Gets a summary component for |
field | Gets a summary component for field |
mapValue | Gets a summary component for |
qualifier | Gets a summary component that represents a qualifier. |
return | Gets a summary component that represents the return value of a call. |