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

Module FlowSummaryImpl

Provides classes and predicates for defining flow summaries.

The definitions in this file are language-independent, and language-specific definitions are passed in via the DataFlowImplSpecific and FlowSummaryImplSpecific modules.

Import path

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

Modules

Private

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

Public

Provides classes and predicates for defining flow summaries.