LowUIRSensitiveDataFlow (B2R2)

LowUIRSensitiveDataFlow Module

Provides types and functions for LowUIR-based sensitive data-flow analysis.

Type	Description
IScheme<'L, 'ExeCtx>	Represents the main interface for a sensitive data-flow analysis.
SensitiveProgramPoint<'ExeCtx>	Represents a program point in the sensitive data-flow analysis.
SensitiveReachingDefs<'ExeCtx>
SensitiveVarPoint<'ExeCtx>	Represents a variable point in the sensitive data-flow analysis.
State<'L, 'ExeCtx>	Represents a state used in LowUIR-based sensitive dataflow analysis.
SubState<'L, 'ExeCtx>	Represents a sub-state for the context-sensitive data-flow analysis.

Function or value	Description
`compute g state` Full Usage: `compute g state` Parameters: g : `IDiGraph<LowUIRBasicBlock, CFGEdgeKind>` state : `'a` Returns: `'a` Type parameters: 'a, 'b, 'c (requires :> B2R2.MiddleEnd.DataFlow.LowUIRSensitiveDataFlow.State<'b,'c> and equality and comparison)	g : `IDiGraph<LowUIRBasicBlock, CFGEdgeKind>` state : `'a` Returns: `'a`
`toFrameOffset stackAddr` Full Usage: `toFrameOffset stackAddr` Parameters: stackAddr : `uint64` Returns: `int` Modifiers: inline	Translate the given stack pointer address to a local frame offset. stackAddr : `uint64` Returns: `int`