allCells() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | inline |
byteRestricted() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
byteRestricted(bool) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
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::InstructionSemantics::BaseSemantics::MemoryCellList | inlinevirtual |
create(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inlinevirtual |
create(const MemoryCellPtr &protocell) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inlinevirtual |
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_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 SValuePtr &addrProtoval, const SValuePtr &valProtoval) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inlinestatic |
instance(const MemoryCellPtr &protocell) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inlinestatic |
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 |
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::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 SValuePtr &address, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | virtual |
print(std::ostream &, Formatter &) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | virtual |
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState::print(std::ostream &, const std::string prefix="") const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
promote(const BaseSemantics::MemoryStatePtr &m) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | inlinestatic |
protocell (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState | protected |
Ptr typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | |
readMemory(const SValuePtr &address, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | virtual |
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 | |
Super typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | |
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 SValuePtr &addr, const SValuePtr &value, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList | 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 |