Module SummaryComponentStack

Provides predicates for constructing stacks of summary components.

Import path


                                import semmle.code.java.dataflow.FlowSummary

Provides predicates for constructing stacks of summary components.

arrayElementOf	Gets a stack representing `ArrayElement` of `object`.
elementOf	Gets a stack representing `Element` of `object`.
fieldOf	Gets a stack representing a field `f` of `object`.
mapValueOf	Gets a stack representing `MapValue` of `object`.
qualifier	Gets a singleton stack representing a qualifier.
return	Gets a singleton stack representing a (normal) return.