ROSE 0.11.145.229
|
Functor for handling a memory read whose address matches more than one memory cell.
This is the default cell compressor and simply calls either CellCompressionMcCarthy or CellCompressionSimple depending on whether an SMT solver is being used.
Definition at line 458 of file SymbolicSemantics.h.
#include <Rose/BinaryAnalysis/InstructionSemantics/SymbolicSemantics.h>
Public Member Functions | |
virtual SValuePtr | operator() (const SValuePtr &address, const BaseSemantics::SValuePtr &dflt, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps, const BaseSemantics::CellList &cells) override |
Compress the cells into a single value. | |
![]() | |
SharedObject () | |
Default constructor. | |
SharedObject (const SharedObject &) | |
Copy constructor. | |
virtual | ~SharedObject () |
Virtual destructor. | |
SharedObject & | operator= (const SharedObject &) |
Assignment. | |
Static Public Member Functions | |
static Ptr | instance () |
Allocating constructor. | |
Additional Inherited Members | |
![]() | |
using | Ptr = Sawyer::SharedPointer< CellCompressor > |
|
overridevirtual |
Compress the cells into a single value.
Implements Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState::CellCompressor.