Predicate SummaryComponentStack :: argument
Gets a singleton stack for argument i.
Import path
import semmle.code.csharp.dataflow.FlowSummary
SummaryComponentStack
argument
(
int
i
)