ROSE
0.11.131.0
|
Functor for handling a memory read whose address matches more than one memory cell.
This functor returns a symbolic expression that consists of a read operation on a memory state. The returned expression is essentially a McCarthy expression that encodes this if-then-else structure:
Definition at line 510 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. More... | |
![]() | |
SharedObject () | |
Default constructor. More... | |
SharedObject (const SharedObject &) | |
Copy constructor. More... | |
virtual | ~SharedObject () |
Virtual destructor. More... | |
SharedObject & | operator= (const SharedObject &) |
Assignment. More... | |
Static Public Member Functions | |
static Ptr | instance () |
Allocating constructor. More... | |
Additional Inherited Members | |
![]() | |
using | Ptr = Sawyer::SharedPointer< CellCompressor > |
|
static |
Allocating constructor.
|
overridevirtual |
Compress the cells into a single value.
Implements Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState::CellCompressor.