Module SummaryComponentStack
Provides predicates for constructing stacks of summary components.
Import path
import semmle.code.java.dataflow.FlowSummary
Imports
SummaryComponentStack |
Provides predicates for constructing stacks of summary components. |
Predicates
arrayElementOf |
Gets a stack representing |
elementOf |
Gets a stack representing |
fieldOf |
Gets a stack representing a field |
mapValueOf |
Gets a stack representing |
qualifier |
Gets a singleton stack representing a qualifier. |
return |
Gets a singleton stack representing a (normal) return. |