CodeQL library for Ruby
codeql/ruby-all 3.0.1-dev (changelog, source)
Search

Module FlowSummary

Provides classes and predicates for defining flow summaries.

Import path

import codeql.ruby.dataflow.FlowSummary

Imports

AST
DataFlow

Provides classes for performing local (intra-procedural) and global (inter-procedural) data flow analyses.

Classes

SimpleSummarizedCallable

A callable with a flow summary, identified by a unique string, where all calls to a method with the same name are considered relevant.

SummarizedCallable

A callable with a flow summary, identified by a unique string.

Aliases

RequiredSummaryComponentStack

A class that exists for QL technical reasons only (the IPA type used to represent component stacks needs to be bounded).

SummaryComponent

A component used in a flow summary.

SummaryComponent

Provides predicates for constructing summary components.

SummaryComponentStack

A (non-empty) stack of summary components.

SummaryComponentStack

Provides predicates for constructing stacks of summary components.