Module FlowSummary
Provides classes and predicates for defining flow summaries.
Import path
import codeql.ruby.dataflow.FlowSummaryImports
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. |
Modules
| SummaryComponent | Provides predicates for constructing summary components. |
| SummaryComponentStack | Provides predicates for constructing stacks of summary components. |
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. |
| SummaryComponentStack | A (non-empty) stack of summary components. |