VarDefDomain (B2R2)

VarDefDomain Module

Defines the variable definition domain and its operations for variable definition analysis.

Type	Description
Lattice	Represents a lattice element in the variable definition domain.

Function or value	Description
`VarDefDomain.empty` Full Usage: `VarDefDomain.empty` Returns: `Map<'a, 'b>` Type parameters: 'a, 'b (requires comparison)	Returns: `Map<'a, 'b>`
`VarDefDomain.get varKind rd` Full Usage: `VarDefDomain.get varKind rd` Parameters: varKind : `'a` rd : `Map<'a, Set<'b>>` Returns: `Set<'b>` Type parameters: 'a, 'b (requires comparison and comparison)	varKind : `'a` rd : `Map<'a, Set<'b>>` Returns: `Set<'b>`
`VarDefDomain.join rd1 rd2` Full Usage: `VarDefDomain.join rd1 rd2` Parameters: rd1 : `Map<'a, Set<'b>>` rd2 : `Map<'a, Set<'b>>` Returns: `Map<'a, Set<'b>>` Type parameters: 'a, 'b (requires comparison and comparison)	rd1 : `Map<'a, Set<'b>>` rd2 : `Map<'a, Set<'b>>` Returns: `Map<'a, Set<'b>>`
`VarDefDomain.load addr rd` Full Usage: `VarDefDomain.load addr rd` Parameters: addr : `Addr option` rd : `Map<VarKind, Set<'a>>` Returns: `Set<'a>` Type parameters: 'a (requires comparison)	addr : `Addr option` rd : `Map<VarKind, Set<'a>>` Returns: `Set<'a>`
`VarDefDomain.store addr pp rd` Full Usage: `VarDefDomain.store addr pp rd` Parameters: addr : `Addr option` pp : `'a` rd : `Map<VarKind, Set<'a>>` Returns: `Map<VarKind, Set<'a>>` Type parameters: 'a (requires comparison)	addr : `Addr option` pp : `'a` rd : `Map<VarKind, Set<'a>>` Returns: `Map<VarKind, Set<'a>>`