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.

fieldOf	Gets a stack representing a field `f` of `object`.
qualifier	Gets a singleton stack representing a qualifier.
return	Gets a singleton stack representing a (normal) return.