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