ROSE  0.9.10.2
Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators Member List

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

add(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
addWithCarries(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
after() (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
after(const BaseSemantics::SValuePtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
after(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
after(const BaseSemantics::Exception &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
after_exception() (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
and_(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
before(const std::string &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, RegisterDescriptor) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, RegisterDescriptor, const BaseSemantics::SValuePtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, RegisterDescriptor, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, RegisterDescriptor, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, size_t) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, RegisterDescriptor, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, SgAsmInstruction *, bool showAddress) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, size_t) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, size_t, uint64_t) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, const BaseSemantics::SValuePtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, const BaseSemantics::SValuePtr &, size_t) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, const BaseSemantics::SValuePtr &, size_t, size_t) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, const BaseSemantics::SValuePtr &, SgAsmFloatType *, const BaseSemantics::SValuePtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, const BaseSemantics::SValuePtr &, SgAsmFloatType *, SgAsmFloatType *) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
before(const std::string &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
boolean_(bool value) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
bottom_(size_t nbits) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
check_equal_widths(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
check_subdomain() const ROSE_DEPRECATED("use checkSubodmain instead")Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinline
check_width(const BaseSemantics::SValuePtr &a, size_t nbits, const std::string &what="result") (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
checkSubdomain() const Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinline
concat(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
cpuid() ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
create(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinlinevirtual
create(const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinlinevirtual
create(const BaseSemantics::RiscOperatorsPtr &subdomain)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinlinevirtual
currentInstruction() const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
currentState() const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
currentState(const BaseSemantics::StatePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
equal(const SValuePtr &a, const SValuePtr &b) ROSE_DEPRECATED("use isEqual instead")Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators
equalToZero(const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
extract(const BaseSemantics::SValuePtr &, size_t begin_bit, size_t end_bit) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
filterCallTarget(const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
filterIndirectJumpTarget(const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
filterReturnTarget(const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
finishInstruction(SgAsmInstruction *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpAdd(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpConvert(const BaseSemantics::SValuePtr &, SgAsmFloatType *, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpDivide(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpEffectiveExponent(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpFromInteger(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpIsDenormalized(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpIsInfinity(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpIsNan(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpIsZero(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpMultiply(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpRoundTowardZero(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpSign(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpSquareRoot(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpSubtract(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
fpToInteger(const BaseSemantics::SValuePtr &, SgAsmFloatType *, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
get_insn() const ROSE_DEPRECATED("use currentInstruction instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
get_name() const ROSE_DEPRECATED("use name instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
get_ninsns() const ROSE_DEPRECATED("use nInsns instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
get_protoval() const ROSE_DEPRECATED("use protoval instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
get_state() const ROSE_DEPRECATED("use currentState instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
get_subdomain() const ROSE_DEPRECATED("use subdomain instead")Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinlinevirtual
hlt() ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
initialState() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
initialState(const StatePtr &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
instance(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinlinestatic
instance(const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinlinestatic
instance(const BaseSemantics::RiscOperatorsPtr &subdomain)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinlinestatic
interrupt(int majr, int minr) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
invert(const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
isEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isNotEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isSignedGreaterThan(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isSignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isSignedLessThan(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isSignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isUnsignedGreaterThan(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isUnsignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isUnsignedLessThan(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isUnsignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
ite(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
leastSignificantSetBit(const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
linePrefix() (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
mostSignificantSetBit(const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
name() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
name(const std::string &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
negate(const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
nInsns() const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
nInsns(size_t n) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
number_(size_t nbits, uint64_t value) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
operator+(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinline
or_(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
peekMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
peekRegister(RegisterDescriptor, const BaseSemantics::SValuePtr &dflt) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
print(std::ostream &, BaseSemantics::Formatter &) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators::print(std::ostream &stream, const std::string prefix="") const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinline
promote(const BaseSemantics::RiscOperatorsPtr &x)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinlinestatic
protoval() const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
Ptr typedefRose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators
rdtsc() ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
readMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt, const BaseSemantics::SValuePtr &cond) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
readRegister(RegisterDescriptor, const BaseSemantics::SValuePtr &dflt) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators::readRegister(RegisterDescriptor reg)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
register_name(RegisterDescriptor) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
RiscOperators(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinlineexplicitprotected
RiscOperators(const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinlineexplicitprotected
RiscOperators(const BaseSemantics::RiscOperatorsPtr &subdomain) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinlineexplicitprotected
RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlineprotected
rotateLeft(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
rotateRight(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
set_name(const std::string &s) ROSE_DEPRECATED("use name instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
set_ninsns(size_t n) ROSE_DEPRECATED("use nInsns instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
set_state(const StatePtr &s) ROSE_DEPRECATED("use currentState instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
set_subdomain(const BaseSemantics::RiscOperatorsPtr &sd) ROSE_DEPRECATED("use subdomain instead")Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinline
shiftLeft(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
shiftRight(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
shiftRightArithmetic(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
signedDivide(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
signedModulo(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
signedMultiply(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
signExtend(const BaseSemantics::SValuePtr &, size_t nbits) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
solver(const SmtSolverPtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
solver() const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
startInstruction(SgAsmInstruction *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
stream()Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinline
stream(Sawyer::Message::Stream &s)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinline
subdomain() const Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinline
subdomain(const BaseSemantics::RiscOperatorsPtr &subdomain)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinline
subtract(const SValuePtr &minuend, const SValuePtr &subtrahend)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
toString(const BaseSemantics::SValuePtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
toString(SgAsmFloatType *) (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsprotected
undefined_(size_t nbits) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
unsignedDivide(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
unsignedExtend(const BaseSemantics::SValuePtr &, size_t nbits) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
unsignedModulo(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
unsignedMultiply(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
unspecified_(size_t nbits) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
with_format(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinline
writeMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &data, const BaseSemantics::SValuePtr &cond) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
writeRegister(RegisterDescriptor, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
xor_(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsvirtual
~RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::TraceSemantics::RiscOperatorsinlinevirtual