Header menu logo B2R2

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

Worklist-based dataflow analysis.

Constructors

Constructor Description

WorklistDataFlowAnalysis(analysis)

Full Usage: WorklistDataFlowAnalysis(analysis)

Parameters:
Returns: WorklistDataFlowAnalysis<'WorkUnit, 'Lattice, 'V>
analysis : IWorklistDataFlowAnalysis<'WorkUnit, 'Lattice, 'V>
Returns: WorklistDataFlowAnalysis<'WorkUnit, 'Lattice, 'V>

Type something to start searching.