CodeQL library for C#
codeql/csharp-all 0.6.2 ( changelog , source )
Search

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.FlowSummaryImpl

Direct supertypes

Predicates

bottom

Gets the bottom element of this stack.

contains

Holds if this stack contains summary component c.

drop

Gets the stack obtained by dropping the first i elements, if any.

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.