StackPointerDomain (B2R2)

StackPointerDomain Module

Defines the stack pointer domain and its operations for stack pointer propagation analysis.

Type	Description
Lattice	Represents a lattice element in the stack pointer propagation domain.

Function or value	Description
StackPointerDomain.``and`` c1 c2 Full Usage: StackPointerDomain.``and`` c1 c2 Parameters: c1 : `Lattice` c2 : `Lattice` Returns: `Lattice`	c1 : `Lattice` c2 : `Lattice` Returns: `Lattice`
`StackPointerDomain.add c1 c2` Full Usage: `StackPointerDomain.add c1 c2` Parameters: c1 : `Lattice` c2 : `Lattice` Returns: `Lattice`	c1 : `Lattice` c2 : `Lattice` Returns: `Lattice`
`StackPointerDomain.join c1 c2` Full Usage: `StackPointerDomain.join c1 c2` Parameters: c1 : `Lattice` c2 : `Lattice` Returns: `Lattice`	c1 : `Lattice` c2 : `Lattice` Returns: `Lattice`
`StackPointerDomain.sub c1 c2` Full Usage: `StackPointerDomain.sub c1 c2` Parameters: c1 : `Lattice` c2 : `Lattice` Returns: `Lattice`	c1 : `Lattice` c2 : `Lattice` Returns: `Lattice`
`StackPointerDomain.subsume fromV toV` Full Usage: `StackPointerDomain.subsume fromV toV` Parameters: fromV : `Lattice` toV : `Lattice` Returns: `bool`	fromV : `Lattice` toV : `Lattice` Returns: `bool`