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

Module Private

Import path

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

Imports

Private

Provides predicates for compiling flow summaries down to atomic local steps, read steps, and store steps.

Modules

SummaryComponent

Provides predicates for constructing summary components.

SummaryComponentStack

Provides predicates for constructing stacks of summary components.

Aliases

Steps

Provides a compilation of flow summaries to atomic data-flow steps.