ROSE  0.11.145.0
Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState Member List

This is the complete list of members for Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState, including all inherited members.

allCells() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellStateinline
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::MemoryCellListprotected
clear() overrideRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListvirtual
clone() const overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStateinlinevirtual
create(const BaseSemantics::SValuePtr &addrProtoval, const BaseSemantics::SValuePtr &valProtoval) const overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStateinlinevirtual
create(const BaseSemantics::MemoryCellPtr &protocell) const overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStateinlinevirtual
eraseLeadingCells(MemoryCell::Predicate &) overrideRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListvirtual
eraseMatchingCells(MemoryCell::Predicate &) overrideRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListvirtual
eraseNonWritten()Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellStateinline
get_addr_protoval() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState
get_byteOrder() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState
get_cell_compressor() const ROSE_DEPRECATED("use cellCompressor") (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState
get_cells() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListinlinevirtual
get_cells()Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListinlinevirtual
get_val_protoval() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState
getWritersIntersection(const SValuePtr &addr, size_t nBits, RiscOperators *addrOps, RiscOperators *valOps) overrideRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListvirtual
getWritersUnion(const SValuePtr &addr, size_t nBits, RiscOperators *addrOps, RiscOperators *valOps) overrideRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListvirtual
hash(Combinatorics::Hasher &, RiscOperators *addrOps, RiscOperators *valOps) const overrideRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListvirtual
insertReadCell(const SValuePtr &addr, const SValuePtr &value) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListprotectedvirtual
insertReadCell(const SValuePtr &addr, const SValuePtr &value, const AddressSet &writers, const InputOutputPropertySet &props) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListprotectedvirtual
instance(const BaseSemantics::MemoryCellPtr &protocell)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStateinlinestatic
instance(const BaseSemantics::SValuePtr &addrProtoval, const BaseSemantics::SValuePtr &valProtoval)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStateinlinestatic
instance(const MemoryListStatePtr &other)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStateinlinestatic
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList::instance(const MemoryCellListPtr &other)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListinlinestatic
isAllPresent(const SValuePtr &address, size_t nBytes, RiscOperators *addrOps, RiscOperators *valOps) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListvirtual
latestWrittenCell() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellStateinlinevirtual
latestWrittenCell(const MemoryCellPtr &cell)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellStateinlinevirtual
latestWrittenCell_ (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellStateprotected
leadingCells(MemoryCell::Predicate &) const overrideRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListvirtual
matchingCells(MemoryCell::Predicate &) const overrideRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListvirtual
MemoryCellList() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListinlineprotected
MemoryCellList(const MemoryCellPtr &protocell) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListinlineexplicitprotected
MemoryCellList(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListinlineprotected
MemoryCellList(const MemoryCellList &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListinlineprotected
MemoryCellState() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellStateinlineprotected
MemoryCellState(const MemoryCellPtr &protocell) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellStateexplicitprotected
MemoryCellState(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellStateprotected
MemoryCellState(const MemoryCellState &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellStateprotected
MemoryListState() (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStateinlineprotected
MemoryListState(const BaseSemantics::MemoryCellPtr &protocell) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStateinlineexplicitprotected
MemoryListState(const BaseSemantics::SValuePtr &addrProtoval, const BaseSemantics::SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStateinlineprotected
MemoryListState(const MemoryListState &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStateinlineprotected
MemoryState() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryStateprotected
MemoryState(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryStateprotected
MemoryState(const MemoryStatePtr &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryStateprotected
merge(const MemoryStatePtr &other, RiscOperators *addrOps, RiscOperators *valOps) overrideRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListvirtual
mergeCellProperties(const CellList &cells) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListprotectedvirtual
mergeCellValues(const CellList &cells, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListprotectedvirtual
mergeCellWriters(const CellList &cells) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListprotectedvirtual
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::MemoryCellListinline
occlusionsErased(bool b)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListinline
occlusionsErased_ (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellList)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListprotected
operator+(Formatter &)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState
operator+(const std::string &linePrefix)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState
peekMemory(const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps) overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStatevirtual
print(std::ostream &, Formatter &) const overrideRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListvirtual
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState::print(std::ostream &, const std::string prefix="") const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState
promote(const BaseSemantics::MemoryStatePtr &x)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStateinlinestatic
protocell (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellState)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellStateprotected
Ptr typedefRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState
readMemory(const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps) overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStatevirtual
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::MemoryListStateprotected
scan(Iterator &cursor, const SValuePtr &addr, size_t nBits, RiscOperators *addrOps, RiscOperators *valOps) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListinline
set_byteOrder(ByteOrder::Endianness)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState
set_cell_compressor(const CellCompressor::Ptr &) ROSE_DEPRECATED("use cellCompressor") (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState
Super typedefRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListState
traverse(MemoryCell::Visitor &) overrideRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellListvirtual
updateReadProperties(const CellList &)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellStatevirtual
updateWriteProperties(const CellList &, InputOutputPropertySet)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCellStatevirtual
with_format(Formatter &)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState
writeMemory(const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &value, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps) overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::MemoryListStatevirtual
~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::MemoryStatevirtual