ROSE  0.11.87.0
Public Types | Public Member Functions | List of all members
Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressor Class Referenceabstract

Description

Functor for handling a memory read that found more than one cell that might alias the requested address.

Definition at line 481 of file SymbolicSemantics.h.

#include <Rose/BinaryAnalysis/InstructionSemantics2/SymbolicSemantics.h>

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressor:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressor:
Collaboration graph
[legend]

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 MemoryCellList::CellList &cells)=0
 Compress the cells into a single value. More...
 
- Public Member Functions inherited from Sawyer::SharedObject
 SharedObject ()
 Default constructor. More...
 
 SharedObject (const SharedObject &)
 Copy constructor. More...
 
virtual ~SharedObject ()
 Virtual destructor. More...
 
SharedObjectoperator= (const SharedObject &)
 Assignment. More...
 

Member Function Documentation

virtual SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressor::operator() ( const SValuePtr address,
const BaseSemantics::SValuePtr dflt,
BaseSemantics::RiscOperators addrOps,
BaseSemantics::RiscOperators valOps,
const MemoryCellList::CellList &  cells 
)
pure virtual

Compress the cells into a single value.


The documentation for this class was generated from the following file: