ROSE  0.9.10.2
Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemory Member List

This is the complete list of members for Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemory, including all inherited members.

byteRestricted() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinline
byteRestricted(bool b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinline
clear() ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemoryvirtual
clone() const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemoryinlinevirtual
create(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemoryinlinevirtual
expression() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemoryinline
expression(const SymbolicExpr::Ptr &mem)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemory
get_addr_protoval() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinline
get_byteOrder() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinline
get_val_protoval() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinline
instance(const SValuePtr &addrProtoval, const SValuePtr &valProtoval)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemoryinlinestatic
MemoryState() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinlineprotected
MemoryState(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinlineexplicitprotected
MemoryState(const MemoryStatePtr &other) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinlineprotected
merge(const BaseSemantics::MemoryStatePtr &other, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemoryvirtual
merger() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinline
merger(const MergerPtr &m)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinline
operator+(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinline
peekMemory(const SValuePtr &address, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemoryvirtual
print(std::ostream &, Formatter &) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemoryvirtual
Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState::print(std::ostream &stream, const std::string prefix="") const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinline
promote(const MemoryStatePtr &x)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemoryinlinestatic
Ptr typedefRose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState
readMemory(const SValuePtr &address, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemoryvirtual
set_byteOrder(ByteOrder::Endianness bo)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinline
SymbolicMemory(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemory)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemoryinlineexplicitprotected
with_format(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinline
writeMemory(const SValuePtr &address, const SValuePtr &value, RiscOperators *addrOps, RiscOperators *valOps) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SymbolicMemoryvirtual
~MemoryState() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryStateinlinevirtual