ROSE
0.11.21.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 503 of file SymbolicSemantics2.h.
#include <SymbolicSemantics2.h>
Public Member Functions | |
virtual SValuePtr | operator() (const SValuePtr &address, const BaseSemantics::SValuePtr &dflt, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps, const CellList &cells) ROSE_OVERRIDE |
![]() | |
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 |