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 codeql.ruby.dataflow.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.