Header menu logo B2R2

IDataFlowState<'AbsLoc, 'AbsVal> Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: IDataFlowState<'AbsLoc, 'AbsVal>

The state of the data-flow analysis, which contains a mapping from abstract locations to abstract values.

Instance members

Instance member Description

this.GetAbsValue

Full Usage: this.GetAbsValue

Parameters:
    arg0 : 'AbsLoc

Returns: 'AbsVal
Modifiers: abstract

Get the abstract value (AbsVal) for the given abstract location.

arg0 : 'AbsLoc
Returns: 'AbsVal

Type something to start searching.