CodeQL library for Python
codeql/python-all 0.6.4 (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.python.dataflow.new.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.