Defines the constant domain and its operations for constant propagation analysis.

Performs sparse constant propagation over the LowUIR representation.

Provides constants used in data flow analyses.

Builds Use-Def and Def-Use chains from reaching definition analysis.

Represents a data-flow chain containing both Use-Def and Def-Use chains.

Represents a mapping from abstract locations to abstract values.

Represents a data-flow analysis that runs under the abstract interpretation framework, where abstract values of type 'AbsVal are stored at abstract locations of type 'AbsLoc.

Represents an interface for evaluating expressions in the given context.

Represents an interface for a lattice used in abstract interpretation.

Represents an abstract value used in reaching definition analysis.

Represents a LowUIR-based sensitive constant propagation analysis. This analysis is aware of stack pointers on basic blocks and distinguishes each basic block by its stack pointer value.

Provides types and functions for LowUIR-based sensitive data-flow analysis.

Implements sparse data-flow analysis over the LowUIR representation.

Computes reaching definitions for each vertex in a CFG.

Performs sparse conditional constant propagation over an SSA CFG.

Represents SSA edges in a CFG.

Provides SSA-based sparse data flow analysis framework, which is based on the idea of sparse conditional constant propagation algorithm by Wegman et al.

Performs stack pointer propagation analysis over an SSA CFG.

Performs sparse data-flow analysis over SSA to identify untouched values in a function.

Defines the stack pointer domain and its operations for stack pointer propagation analysis.

Performs sparse stack pointer propagation over the LowUIR representation.

Represents a Low-UIR statement and its corresponding program point.

Represents a Low-UIR statement and its corresponding vertex in the Low-UIR CFG.

Performs sparse data-flow analysis to identify untouched values in a function.

Defines the untouched value domain and its operations for untouched value analysis.

Defines the variable definition domain and its operations for variable definition analysis.

Provides utility functions for VarKind.

Represents the kind of a variable.

Represents a variable at a specific program point.

Implements worklist-based dataflow analysis.