Class Public::SummaryComponentStack
A (non-empty) stack of summary components.
A stack is used to represent where data is read from (input) or where it
is written to (output). For example, an input stack [Field f, Argument 0]
means that data is read from field f from the 0th argument, while an
output stack [Field g, Return] means that data is written to the field
g of the returned object.
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImplDirect supertypes
Predicates
| bottom | Gets the bottom element of this stack. |
| contains | Holds if this stack contains summary component |
| drop | Gets the stack obtained by dropping the first |
| getMadRepresentation | Gets a textual representation of this stack used for MaD models. |
| head | Gets the head of this stack. |
| length | Gets the length of this stack. |
| tail | Gets the tail of this stack, if any. |
| toString | Gets a textual representation of this stack. |