Description
Functor for handling a memory read that found more than one cell that might alias the requested address.
Definition at line 481 of file SymbolicSemantics.h.
#include <Rose/BinaryAnalysis/InstructionSemantics2/SymbolicSemantics.h>
Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressor:
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressor:
Public Types | |
| using | Ptr = Sawyer::SharedPointer< CellCompressor > |
Public Member Functions | |
| virtual SValuePtr | operator() (const SValuePtr &address, const BaseSemantics::SValuePtr &dflt, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps, const MemoryCellList::CellList &cells)=0 |
| Compress the cells into a single value. More... | |
 Public Member Functions inherited from Sawyer::SharedObject | |
| SharedObject () | |
| Default constructor. More... | |
| SharedObject (const SharedObject &) | |
| Copy constructor. More... | |
| virtual | ~SharedObject () |
| Virtual destructor. More... | |
| SharedObject & | operator= (const SharedObject &) |
| Assignment. More... | |
Member Function Documentation
|
pure virtual |
Compress the cells into a single value.
The documentation for this class was generated from the following file:
