allCells() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | inline |
byteRestricted() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
byteRestricted(bool) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
CellKey typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | |
CellMap typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | |
cells (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | protected |
clear() override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
clone() const override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState | virtual |
create(const BaseSemantics::SValuePtr &addrProtoval, const BaseSemantics::SValuePtr &valProtoval) const override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState | virtual |
create(const BaseSemantics::MemoryCellPtr &protocell) const | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState | virtual |
eraseLeadingCells(MemoryCell::Predicate &) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
eraseMatchingCells(MemoryCell::Predicate &) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
eraseNonWritten() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | inline |
findCell(const SValuePtr &addr) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
generateCellKey(const BaseSemantics::SValuePtr &addr_) const override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState | virtual |
get_addr_protoval() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
get_byteOrder() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
get_val_protoval() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
getWritersIntersection(const SValuePtr &addr, size_t nBits, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
getWritersUnion(const SValuePtr &addr, size_t nBits, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
hash(Combinatorics::Hasher &, RiscOperators *addrOps, RiscOperators *valOps) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
instance(const BaseSemantics::MemoryCellPtr &protocell) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState | static |
instance(const BaseSemantics::SValuePtr &addrProtoval, const BaseSemantics::SValuePtr &valProtoval) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState | static |
instance(const MemoryMapStatePtr &other) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState | static |
isAllPresent(const SValuePtr &address, size_t nBytes, RiscOperators *addrOps) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
latestWrittenCell() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | inlinevirtual |
latestWrittenCell(const MemoryCellPtr &cell) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | inlinevirtual |
latestWrittenCell_ (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | protected |
leadingCells(MemoryCell::Predicate &) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
matchingCells(MemoryCell::Predicate &) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
MemoryCellMap() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | inlineprotected |
MemoryCellMap(const MemoryCellPtr &protocell) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | inlineexplicitprotected |
MemoryCellMap(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | inlineprotected |
MemoryCellMap(const MemoryCellMap &) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | protected |
MemoryCellState() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | inlineprotected |
MemoryCellState(const MemoryCellPtr &protocell) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | explicitprotected |
MemoryCellState(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | protected |
MemoryCellState(const MemoryCellState &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | protected |
MemoryMapState() (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState | protected |
MemoryMapState(const BaseSemantics::MemoryCellPtr &protocell) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState | explicitprotected |
MemoryMapState(const BaseSemantics::SValuePtr &addrProtoval, const BaseSemantics::SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState | protected |
MemoryState() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | protected |
MemoryState(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | protected |
MemoryState(const MemoryStatePtr &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | protected |
merge(const MemoryStatePtr &other, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
merger() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
merger(const MergerPtr &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
operator+(Formatter &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
operator+(const std::string &linePrefix) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
peekMemory(const SValuePtr &address, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
print(std::ostream &, Formatter &) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState::print(std::ostream &, const std::string prefix="") const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
promote(const BaseSemantics::MemoryStatePtr &) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState | static |
protocell (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | protected |
Ptr typedef | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState | |
readMemory(const SValuePtr &address, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
set_byteOrder(ByteOrder::Endianness) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
Super typedef | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryMapState | |
traverse(MemoryCell::Visitor &) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
updateReadProperties(const CellList &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | virtual |
updateWriteProperties(const CellList &, InputOutputPropertySet) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | virtual |
with_format(Formatter &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
writeMemory(const SValuePtr &address, const SValuePtr &value, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellMap | virtual |
~MemoryCellState() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | |
~MemoryState() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | virtual |