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.