Description
Cell-based memory state.
This is the base class for cell-based memory states.
Definition at line 25 of file BaseSemantics/MemoryCellState.h.
#include <Rose/BinaryAnalysis/InstructionSemantics2/BaseSemantics/MemoryCellState.h>
Public Types | |
| using | Super = MemoryState |
| Base type. More... | |
| using | Ptr = MemoryCellStatePtr |
| Shared-ownership pointer. More... | |
 Public Types inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | |
| typedef MemoryStatePtr | Ptr |
| Shared-ownership pointer for a MemoryState. More... | |
Public Member Functions | |
| virtual void | clear () override |
| Clear memory. More... | |
| virtual AddressSet | getWritersUnion (const SValuePtr &addr, size_t nBits, RiscOperators *addrOps, RiscOperators *valOps)=0 |
| Writers for an address. More... | |
| virtual AddressSet | getWritersIntersection (const SValuePtr &addr, size_t nBits, RiscOperators *addrOps, RiscOperators *valOps)=0 |
| Writers for an address. More... | |
| virtual std::vector< MemoryCellPtr > | matchingCells (MemoryCell::Predicate &) const =0 |
| Find all matching cells. More... | |
| virtual std::vector< MemoryCellPtr > | leadingCells (MemoryCell::Predicate &) const =0 |
| Find leading matching cells. More... | |
| virtual void | eraseMatchingCells (MemoryCell::Predicate &)=0 |
| Remove all matching cells. More... | |
| virtual void | eraseLeadingCells (MemoryCell::Predicate &)=0 |
| Remove leading matching cells. More... | |
| virtual void | traverse (MemoryCell::Visitor &)=0 |
| Traverse and modify cells. More... | |
| void | eraseNonWritten () |
| Erase cells that have no writers. More... | |
| std::vector< MemoryCellPtr > | allCells () const |
| All cells. More... | |
| virtual MemoryCellPtr | latestWrittenCell () const |
| Property: Cell most recently written. | |
| virtual void | latestWrittenCell (const MemoryCellPtr &cell) |
| Property: Cell most recently written. | |
| Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | |
| virtual MemoryStatePtr | create (const SValuePtr &addrProtoval, const SValuePtr &valProtoval) const =0 |
| Virtual allocating constructor. More... | |
| virtual MemoryStatePtr | clone () const =0 |
| Virtual allocating copy constructor. More... | |
| SValuePtr | get_addr_protoval () const |
| Return the address protoval. More... | |
| SValuePtr | get_val_protoval () const |
| Return the value protoval. More... | |
| virtual bool | merge (const MemoryStatePtr &other, RiscOperators *addrOps, RiscOperators *valOps)=0 |
| Merge memory states for data flow analysis. More... | |
| virtual SValuePtr | readMemory (const SValuePtr &address, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps)=0 |
| Read a value from memory. More... | |
| virtual SValuePtr | peekMemory (const SValuePtr &address, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps)=0 |
| Read a value from memory without side effects. More... | |
| virtual void | writeMemory (const SValuePtr &addr, const SValuePtr &value, RiscOperators *addrOps, RiscOperators *valOps)=0 |
| Write a value to memory. More... | |
| virtual void | hash (Combinatorics::Hasher &, RiscOperators *addrOps, RiscOperators *valOps) const =0 |
| Calculate a hash for this memory state. More... | |
| MergerPtr | merger () const |
| Property: Merger. More... | |
| void | merger (const MergerPtr &) |
| Property: Merger. More... | |
| bool | byteRestricted () const |
| Indicates whether memory cell values are required to be eight bits wide. More... | |
| void | byteRestricted (bool b) |
| Indicates whether memory cell values are required to be eight bits wide. More... | |
| ByteOrder::Endianness | get_byteOrder () const |
| Memory byte order. | |
| void | set_byteOrder (ByteOrder::Endianness bo) |
| Memory byte order. | |
| void | print (std::ostream &, const std::string prefix="") const |
| Print a memory state to more than one line of output. | |
| virtual void | print (std::ostream &, Formatter &) const =0 |
| Print a memory state to more than one line of output. | |
| WithFormatter | with_format (Formatter &fmt) |
| Used for printing memory states with formatting. More... | |
| WithFormatter | operator+ (Formatter &fmt) |
| Used for printing memory states with formatting. More... | |
| WithFormatter | operator+ (const std::string &linePrefix) |
| Used for printing memory states with formatting. More... | |
Static Public Member Functions | |
| static MemoryCellStatePtr | promote (const BaseSemantics::MemoryStatePtr &m) |
| Promote a base memory state pointer to a BaseSemantics::MemoryCellState pointer. More... | |
| Static Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | |
| static MemoryStatePtr | promote (const MemoryStatePtr &x) |
Protected Member Functions | |
| MemoryCellState (const MemoryCellPtr &protocell) | |
| MemoryCellState (const SValuePtr &addrProtoval, const SValuePtr &valProtoval) | |
| MemoryCellState (const MemoryCellState &other) | |
| Protected Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | |
| MemoryState (const SValuePtr &addrProtoval, const SValuePtr &valProtoval) | |
| MemoryState (const MemoryStatePtr &other) | |
Protected Attributes | |
| MemoryCellPtr | protocell |
| MemoryCellPtr | latestWrittenCell_ |
Member Typedef Documentation
| using Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState::Super = MemoryState |
Base type.
Definition at line 28 of file BaseSemantics/MemoryCellState.h.
| using Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState::Ptr = MemoryCellStatePtr |
Shared-ownership pointer.
Definition at line 31 of file BaseSemantics/MemoryCellState.h.
Member Function Documentation
|
inlinestatic |
Promote a base memory state pointer to a BaseSemantics::MemoryCellState pointer.
The memory state m must have a BaseSemantics::MemoryCellState dynamic type.
Definition at line 64 of file BaseSemantics/MemoryCellState.h.
|
overridevirtual |
Clear memory.
Removes all memory cells from this memory state.
Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState.
Reimplemented in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellList, and Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap.
|
pure virtual |
Writers for an address.
Returns the set of all writers that wrote to the specified address or any address that might alias the specified address. Memory states that don't normally compute aliases (e.g., MemoryCellMap) return only the writers for the specified address, not any aliases, and in this case getWritersUnion and getWritersIntersection return the same set.
Implemented in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellList, and Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap.
|
pure virtual |
Writers for an address.
Returns the set of all writers that wrote to the specified address and any address that might alias the specified address. Memory states that don't normally compute aliases (e.g., MemoryCellMap) return only the writers for the specified address, not any aliases, and in this case getWritersUnion and getWritersIntersection return the same set.
Implemented in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellList, and Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap.
|
pure virtual |
Find all matching cells.
Returns a vector of cells for which the predicate returns true.
Implemented in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellList, and Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap.
Referenced by allCells().
|
pure virtual |
Find leading matching cells.
Returns the vector of cells obtained by invoking the predicate on each cell and returning those leading cells for which the predicate is true. The first cell for which the predicate is false terminates the traversal and does not appear in the return value.
Implemented in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellList, and Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap.
|
pure virtual |
Remove all matching cells.
Traverses the memory cells and removes those for which the predicate returns true.
Implemented in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellList, and Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap.
Referenced by eraseNonWritten().
|
pure virtual |
Remove leading matching cells.
Traverses the memory cells and removes those for which the predicate returns true. The traversal is terminated the first time the predicate returns false.
Implemented in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellList, and Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap.
|
pure virtual |
Traverse and modify cells.
Traverse cells and optionally modify them.
Implemented in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellList, and Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap.
|
inline |
Erase cells that have no writers.
Definition at line 132 of file BaseSemantics/MemoryCellState.h.
References eraseMatchingCells().
|
inline |
All cells.
Definition at line 138 of file BaseSemantics/MemoryCellState.h.
References matchingCells().
The documentation for this class was generated from the following file:
