IWorklistDataFlowAnalysis<'WorkUnit, 'Lattice, 'V> (B2R2) | B2R2

IWorklistDataFlowAnalysis<'WorkUnit, 'Lattice, 'V> Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: IWorklistDataFlowAnalysis<'WorkUnit, 'Lattice, 'V>

Worklist-based data-flow analysis interface.

Instance members

Instance member	Description
`this.Bottom` Full Usage: `this.Bottom` Returns: `'Lattice` Modifiers: abstract	The initial abstract value representing the bottom of the lattice. Our analysis starts with this value until it reaches a fixed point. Returns: `'Lattice`
`this.GetNextWorks` Full Usage: `this.GetNextWorks` Parameters: arg0 : `IDiGraphAccessible<'V, 'E>` arg1 : `'WorkUnit` Returns: `IReadOnlyCollection<'WorkUnit>` Modifiers: abstract	Get the next set of works to perform. arg0 : `IDiGraphAccessible<'V, 'E>` arg1 : `'WorkUnit` Returns: `IReadOnlyCollection<'WorkUnit>`
`this.InitializeWorkList` Full Usage: `this.InitializeWorkList` Parameters: arg0 : `IDiGraphAccessible<'V, 'a>` Returns: `IReadOnlyCollection<'WorkUnit>` Modifiers: abstract	Initialize the list of work units to start the analysis. This is a callback method that runs before the analysis starts, so any initialization logic should be implemented here. arg0 : `IDiGraphAccessible<'V, 'a>` Returns: `IReadOnlyCollection<'WorkUnit>`
`this.Subsume` Full Usage: `this.Subsume` Parameters: arg0 : `'Lattice` arg1 : `'Lattice` Returns: `bool` Modifiers: abstract	The subsume operator, which checks if the first lattice subsumes the second. This is to know if the analysis should stop or not. arg0 : `'Lattice` arg1 : `'Lattice` Returns: `bool`
`this.Transfer` Full Usage: `this.Transfer` Parameters: arg0 : `IDataFlowState<'WorkUnit, 'Lattice>` arg1 : `IDiGraphAccessible<'V, 'E>` arg2 : `'WorkUnit` arg3 : `'Lattice` Returns: `'Lattice` Modifiers: abstract	The transfer function, which computes the next abstract value from the current abstract value by executing the given 'WorkUnit. arg0 : `IDataFlowState<'WorkUnit, 'Lattice>` arg1 : `IDiGraphAccessible<'V, 'E>` arg2 : `'WorkUnit` arg3 : `'Lattice` Returns: `'Lattice`