ROSE
0.11.60.0
|
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 517 of file SymbolicSemantics.h.
#include <SymbolicSemantics.h>
Public Member Functions | |
virtual SValuePtr | operator() (const SValuePtr &address, const BaseSemantics::SValuePtr &dflt, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps, const CellList &cells) override |
Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressor | |
virtual SValuePtr | operator() (const SValuePtr &address, const BaseSemantics::SValuePtr &dflt, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps, const MemoryCellList::CellList &cells)=0 |
Public Attributes | |
CellCompressorMcCarthy | cc_mccarthy |
CellCompressorSimple | cc_simple |