LowUIRSensitiveDataFlow (B2R2)

LowUIRSensitiveDataFlow Module

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

Type	Description
IScheme<'L, 'ExeCtx>	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>

Function or value Description

Function or value	Description
`compute g state` Full Usage: `compute g state` Parameters: g : `IDiGraph<LowUIRBasicBlock, CFGEdgeKind>` state : `'a` Returns: `'a`	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`


                
                  
                    
                      compute g state

Full Usage: compute g state

Parameters:

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.