Predicate SummaryComponentStack :: elementOf
Gets a stack representing an element of container.
Import path
import semmle.code.csharp.dataflow.FlowSummary
SummaryComponentStack
elementOf
(
SummaryComponentStack
container
)