A domain for constant propagation analysis.

Represents a constant propagation analysis.

Data-flow chain that contains both Use-Def and Def-Use chains.

Represents a mapping from abstract locations to abstract values.

Data-flow analysis that runs under the abstract interpretation framework. Abstract values are represented by 'AbsVal, which is stored in an abstract location '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.

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

Traditional reaching definition analysis.

Sparse conditional constant propagation analysis on SSACFG.

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.

Stack pointer propagation analysis on SSACFG.

A domain for stack pointer propagation.

A Low-UIR statement and its corresponding program point.

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

A domain for untouched value analysis.

A domain for tracking variable definitions.

Variable kinds of our interest.

Variable at a specific program point.

Provides types and functions for worklist-based dataflow analysis.