| addressesRead() const | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inline |
| addressesRead() | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inline |
| allCells() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | inline |
| byteRestricted() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
| byteRestricted(bool) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
| cellCompressor() const | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState | |
| cellCompressor(const CellCompressor::Ptr &) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState | |
| cells (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | protected |
| clear() override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | virtual |
| clone() const override | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inlinevirtual |
| create(const InstructionSemantics::BaseSemantics::SValuePtr &addrProtoval, const InstructionSemantics::BaseSemantics::SValuePtr &valProtoval) const override | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inlinevirtual |
| create(const InstructionSemantics::BaseSemantics::MemoryCellPtr &protocell) const override | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inlinevirtual |
| enabled() const | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inline |
| enabled(bool b) | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inline |
| eraseLeadingCells(MemoryCell::Predicate &) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | virtual |
| eraseMatchingCells(MemoryCell::Predicate &) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | virtual |
| eraseNonWritten() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | inline |
| get_addr_protoval() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
| get_byteOrder() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
| get_cell_compressor() const (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState | |
| get_cells() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inlinevirtual |
| get_cells() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inlinevirtual |
| 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::MemoryCellList | virtual |
| getWritersUnion(const SValuePtr &addr, size_t nBits, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | virtual |
| hash(Combinatorics::Hasher &, RiscOperators *addrOps, RiscOperators *valOps) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | virtual |
| insertReadCell(const SValuePtr &addr, const SValuePtr &value) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | protectedvirtual |
| insertReadCell(const SValuePtr &addr, const SValuePtr &value, const AddressSet &writers, const InputOutputPropertySet &props) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | protectedvirtual |
| instance(const InstructionSemantics::BaseSemantics::MemoryCellPtr &protocell) | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inlinestatic |
| instance(const InstructionSemantics::BaseSemantics::SValuePtr &addrProtoval, const InstructionSemantics::BaseSemantics::SValuePtr &valProtoval) | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inlinestatic |
| instance(const Ptr &other) | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inlinestatic |
| Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState::instance(const MemoryListStatePtr &other) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState | static |
| Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList::instance(const MemoryCellListPtr &other) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inlinestatic |
| isAllPresent(const SValuePtr &address, size_t nBytes, RiscOperators *addrOps, RiscOperators *valOps) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | 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::MemoryCellList | virtual |
| matchingCells(MemoryCell::Predicate &) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | virtual |
| MemoryCellList() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inlineprotected |
| MemoryCellList(const MemoryCellPtr &protocell) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inlineexplicitprotected |
| MemoryCellList(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inlineprotected |
| MemoryCellList(const MemoryCellList &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inlineprotected |
| 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 |
| MemoryListState() (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState | protected |
| MemoryListState(const BaseSemantics::MemoryCellPtr &protocell) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState | explicitprotected |
| MemoryListState(const BaseSemantics::SValuePtr &addrProtoval, const BaseSemantics::SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState | protected |
| MemoryListState(const MemoryListState &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState | protected |
| memoryMap() const | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inline |
| memoryMap(const MemoryMapPtr &map) | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inline |
| MemoryState() (defined in Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super >) | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inlineprotected |
| MemoryState(const InstructionSemantics::BaseSemantics::MemoryCellPtr &protocell) (defined in Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super >) | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inlineexplicitprotected |
| MemoryState(const InstructionSemantics::BaseSemantics::SValuePtr &addrProtoval, const InstructionSemantics::BaseSemantics::SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super >) | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inlineprotected |
| 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::MemoryCellList | virtual |
| mergeCellProperties(const CellList &cells) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | protectedvirtual |
| mergeCellValues(const CellList &cells, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | protectedvirtual |
| mergeCellWriters(const CellList &cells) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | protectedvirtual |
| mergeNoAliasing(const MemoryStatePtr &other, RiscOperators *addrOps, RiscOperators *valOps) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | |
| merger() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
| merger(const MergerPtr &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
| mergeWithAliasing(const MemoryStatePtr &other, RiscOperators *addrOps, RiscOperators *valOps) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | |
| occlusionsErased() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inline |
| occlusionsErased(bool b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inline |
| occlusionsErased_ (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | protected |
| operator+(Formatter &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
| operator+(const std::string &linePrefix) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
| peekMemory(const InstructionSemantics::BaseSemantics::SValuePtr &addr, const InstructionSemantics::BaseSemantics::SValuePtr &dflt, InstructionSemantics::BaseSemantics::RiscOperators *addrOps, InstructionSemantics::BaseSemantics::RiscOperators *valOps) override | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | virtual |
| print(std::ostream &, InstructionSemantics::BaseSemantics::Formatter &) const override | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | virtual |
| Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState::print(std::ostream &, const std::string prefix="") const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
| promote(const InstructionSemantics::BaseSemantics::MemoryStatePtr &x) | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | inlinestatic |
| protocell (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | protected |
| Ptr typedef | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | |
| readMemory(const InstructionSemantics::BaseSemantics::SValuePtr &addr, const InstructionSemantics::BaseSemantics::SValuePtr &dflt, InstructionSemantics::BaseSemantics::RiscOperators *addrOps, InstructionSemantics::BaseSemantics::RiscOperators *valOps) override | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | virtual |
| readOrPeekMemory(const BaseSemantics::SValuePtr &address, const BaseSemantics::SValuePtr &dflt, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps, AllowSideEffects::Flag allowSideEffects) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState | protected |
| scan(Iterator &cursor, const SValuePtr &addr, size_t nBits, RiscOperators *addrOps, RiscOperators *valOps) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inline |
| set_byteOrder(ByteOrder::Endianness) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
| set_cell_compressor(const CellCompressor::Ptr &) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState | |
| Super typedef | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState | |
| traverse(MemoryCell::Visitor &) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | 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 InstructionSemantics::BaseSemantics::SValuePtr &addr, const InstructionSemantics::BaseSemantics::SValuePtr &value, InstructionSemantics::BaseSemantics::RiscOperators *addrOps, InstructionSemantics::BaseSemantics::RiscOperators *valOps) override | Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryState< Super > | 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 |
