ROSE 0.11.145.134
|
Functor for handling a memory read that found more than one cell that might alias the requested address.
Definition at line 409 of file SymbolicSemantics.h.
#include <Rose/BinaryAnalysis/InstructionSemantics/SymbolicSemantics.h>
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 BaseSemantics::CellList &cells)=0 |
Compress the cells into a single value. | |
![]() | |
SharedObject () | |
Default constructor. | |
SharedObject (const SharedObject &) | |
Copy constructor. | |
virtual | ~SharedObject () |
Virtual destructor. | |
SharedObject & | operator= (const SharedObject &) |
Assignment. | |
using Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState::CellCompressor::Ptr = Sawyer::SharedPointer<CellCompressor> |
Definition at line 411 of file SymbolicSemantics.h.
|
inlineprotected |
Definition at line 413 of file SymbolicSemantics.h.
|
inlinevirtual |
Definition at line 415 of file SymbolicSemantics.h.
|
pure virtual |
Compress the cells into a single value.
Implemented in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState::CellCompressorMcCarthy, Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState::CellCompressorSimple, Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState::CellCompressorChoice, and Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState::CellCompressorSet.