CodeQL library for Python
codeql/python-all 0.6.4 (changelog, source)
Search

Module Public

Provides classes and predicates for defining flow summaries.

Import path

import semmle.python.dataflow.new.internal.FlowSummaryImpl

Predicates

getComponentStackCsv

Gets a textual representation of this stack used for flow summaries.

Classes

NegativeSummarizedCallable

A callable with a flow summary stating there is no flow via the callable.

RequiredSummaryComponentStack

A class that exists for QL technical reasons only (the IPA type used to represent component stacks needs to be bounded).

SummarizedCallable

A callable with a flow summary.

SummaryComponent

A component used in a flow summary.

SummaryComponentStack

A (non-empty) stack of summary components.

Modules

SummaryComponent

Provides predicates for constructing summary components.

SummaryComponentStack

Provides predicates for constructing stacks of summary components.