For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

FlowSummaryImpl

Import path
Modules

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.code.java.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.