CodeQL library for Java
codeql/java-all 0.4.0-dev (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.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.