UntouchedValueDomain (B2R2)

UntouchedValueDomain Module

A domain for untouched value analysis.

Function or value Description

Function or value	Description
`UntouchedValueDomain.join c1 c2` Full Usage: `UntouchedValueDomain.join c1 c2` Parameters: c1 : `Lattice` c2 : `Lattice` Returns: `Lattice`	c1 : `Lattice` c2 : `Lattice` Returns: `Lattice`
`UntouchedValueDomain.subsume fromV toV` Full Usage: `UntouchedValueDomain.subsume fromV toV` Parameters: fromV : `Lattice` toV : `Lattice` Returns: `bool`	fromV : `Lattice` toV : `Lattice` Returns: `bool`


                
                  
                    
                      UntouchedValueDomain.join c1 c2

Full Usage: UntouchedValueDomain.join c1 c2

Parameters:

c1 : Lattice

c2 : Lattice

Returns: Lattice


                
                  
                    
                      UntouchedValueDomain.subsume fromV toV

Full Usage: UntouchedValueDomain.subsume fromV toV

Parameters:

fromV : Lattice

toV : Lattice

Returns: bool