StackPointerDomain (B2R2)

StackPointerDomain Module

A domain for stack pointer propagation.

Type	Description
Lattice

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`