CodeQL library for Python

codeql/python-all 7.2.5 (changelog, source)

Module Make::Private

Provides predicates for compiling flow summaries down to atomic local steps, read steps, and store steps.

Import path

import codeql.dataflow.internal.FlowSummaryImpl

Imports

AccessPath<FlowSummaryImpl::Make::Private::flowSpec>

Companion module to the AccessPath class.

Predicates

parseArg	Holds if specification component `token` parses as argument `pos`.
parseParam	Holds if specification component `token` parses as parameter `pos`.
parseSynthGlobal	Holds if specification component `token` parses as synthetic global `sg`.
relevantSummary	Holds if `c` has a relevant flow summary.
unsupportedCallable	Holds if `callable` has an unsupported flow.
unsupportedCallable	Holds if `callable` has an unsupported flow `input -> output`.

Classes

AccessPath
RequiredSummaryComponentStack	A class that exists for QL technical reasons only (the IPA type used to represent component stacks needs to be bounded).
SummarizedCallableImpl	A callable with a relevant flow summary.
SummaryComponent	A component used in a flow summary.
SummaryComponentStack	A (non-empty) stack of summary components.
SyntheticGlobal	A synthetic global. This represents some form of global state, which summaries can read and write individually.

Datatypes

TSummaryComponentStack

Modules

External	Provides a means of translating externally (e.g., MaD) defined flow summaries into a `SummarizedCallable`s.
Make2
SummaryComponent	Provides predicates for constructing summary components.
SummaryComponentStack	Provides predicates for constructing stacks of summary components.
TestNeutralOutput
TestSummaryOutput	Provides a query predicate for outputting a set of relevant flow summaries.

Type signatures

RelevantSummarizedCallableSig

A summarized callable relevant for testing.

Module signatures

InputSig2
RelevantNeutralCallableSig	A summarized callable relevant for testing.