VarDefDomain (B2R2)

VarDefDomain Module

A domain for tracking variable definitions.

Type	Description
Lattice

Function or value	Description
`VarDefDomain.empty` Full Usage: `VarDefDomain.empty` Returns: `Map<'a, 'b>`	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>`	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>>`	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>`	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>>`	addr : `Addr option` pp : `'a` rd : `Map<VarKind, Set<'a>>` Returns: `Map<VarKind, Set<'a>>`