An object that defines the transfer operation for a node and its state.
An instance of a semilattice that defines the necessary operations.
The kind of analysis ("forward" or "backward").
Protected ReadonlycfgProtected ReadonlycuProtected ReadonlykindProtected ReadonlylatticeProtectedtransferFinds a fixpoint using the worklist algorithm.
The results of solving the dataflow problem.
ProtectedisProtectedisProtectedupdate
WorklistSolver performs a standard worklist-based iterative analysis relying solely on the lattice's join or meet operation to update states.