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