Class WideningWorklistSolver<State>

WideningWorklistSolver performs a worklist-based iterative analysis using widening to accelerate convergence when a specified iteration threshold is reached.

Type Parameters

State
The type representing the state in the analysis.

Hierarchy (view full)

AbstractWorklistSolver<State>
- WideningWorklistSolver

Index

Constructors

constructor

new WideningWorklistSolver<State>(cu, cfg, transfer, lattice, kind, maxIterations?): WideningWorklistSolver<State>
Type Parameters
- State
Parameters
- cu: CompilationUnit
- cfg: CFG
- transfer: Transfer<State>
- lattice: WideningLattice<State>
- kind: AnalysisKind
- maxIterations: number = 5
  Number of iterations after which widening is applied.
Returns WideningWorklistSolver<State>
Overrides AbstractWorklistSolver.constructor
- Defined in src/internals/solver/worklist.ts:205

Properties

`Protected` `Readonly`cfg

cfg: CFG

`Protected` `Readonly`cu

cu: CompilationUnit

`Protected` `Readonly`kind

kind: AnalysisKind

`Protected` `Readonly`lattice

lattice: Semilattice<State>

`Protected`transfer

transfer: Transfer<State>

Methods

findFixpoint

findFixpoint(): SolverResults<State>
Finds a fixpoint using the worklist algorithm.

Returns SolverResults<State>
The results of solving the dataflow problem.
Inherited from AbstractWorklistSolver.findFixpoint
- Defined in src/internals/solver/worklist.ts:79

`Protected`isJoinSemilattice

isJoinSemilattice(lattice): lattice is JoinSemilattice<State>
Parameters
- lattice: Semilattice<State>
Returns lattice is JoinSemilattice<State>
Inherited from AbstractWorklistSolver.isJoinSemilattice
- Defined in src/internals/solver/worklist.ts:161

`Protected`isMeetSemilattice

isMeetSemilattice(lattice): lattice is MeetSemilattice<State>
Parameters
- lattice: Semilattice<State>
Returns lattice is MeetSemilattice<State>
Inherited from AbstractWorklistSolver.isMeetSemilattice
- Defined in src/internals/solver/worklist.ts:167

solve

solve(): SolverResults<State>
Returns SolverResults<State>
Inherited from AbstractWorklistSolver.solve
- Defined in src/internals/solver/worklist.ts:157

`Protected`updateState

updateState(oldState, newState, iterations): State
Abstract method to update the state of a node.
Parameters
- oldState: State
  The previous state of the node.
- newState: State
  The newly computed state of the node.
- iterations: number
  The number of times the node has been processed.
Returns State
The updated state after applying join/meet/widening/narrowing.
Overrides AbstractWorklistSolver.updateState
- Defined in src/internals/solver/worklist.ts:217

Class WideningWorklistSolver<State>

Type Parameters

Hierarchy (view full)

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

Parameters

Returns WideningWorklistSolver<State>

Properties

`Protected` `Readonly`cfg

`Protected` `Readonly`cu

`Protected` `Readonly`kind

`Protected` `Readonly`lattice

`Protected`transfer

Methods

findFixpoint

Returns SolverResults<State>

`Protected`isJoinSemilattice

Parameters

Returns lattice is JoinSemilattice<State>

`Protected`isMeetSemilattice

Parameters

Returns lattice is MeetSemilattice<State>

solve

Returns SolverResults<State>

`Protected`updateState

Parameters

Returns State

Settings

On This Page

Class WideningWorklistSolver<State>

Type Parameters

Hierarchy (view full)

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

Parameters

Returns WideningWorklistSolver<State>

Properties

Protected Readonlycfg

Protected Readonlycu

Protected Readonlykind

Protected Readonlylattice

Protectedtransfer

Methods

findFixpoint

Returns SolverResults<State>

ProtectedisJoinSemilattice

Parameters

Returns lattice is JoinSemilattice<State>

ProtectedisMeetSemilattice

Parameters

Returns lattice is MeetSemilattice<State>

solve

Returns SolverResults<State>

ProtectedupdateState

Parameters

Returns State

Settings

On This Page

`Protected` `Readonly`cfg

`Protected` `Readonly`cu

`Protected` `Readonly`kind

`Protected` `Readonly`lattice

`Protected`transfer

`Protected`isJoinSemilattice

`Protected`isMeetSemilattice

`Protected`updateState