active (defined in Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | protected |
add(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
add_subdomain(const BaseSemantics::RiscOperatorsPtr &subdomain, const std::string &name, bool activate=true) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
addCarry(const SValuePtr &a, const SValuePtr &b, SValuePtr &carryOut, SValuePtr &overflowed) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
addWithCarries(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b, const BaseSemantics::SValuePtr &c, BaseSemantics::SValuePtr &carry_out) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
after(size_t) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | inlinevirtual |
and_(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
before(size_t) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | inlinevirtual |
boolean_(bool) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
bottom_(size_t nbits) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
clear_active(size_t idx) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
clearGraph() | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | inline |
comment(const std::string &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
concat(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
concatHiLo(const SValuePtr &highBits, const SValuePtr &lowBits) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
concatLoHi(const SValuePtr &lowBits, const SValuePtr &highBits) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
convert(const SValuePtr &a, SgAsmType *srcType, SgAsmType *dstType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
countLeadingOnes(const SValuePtr &a) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
countLeadingZeros(const SValuePtr &a) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
cpuid() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
currentInstruction() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
currentInstruction(SgAsmInstruction *insn) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
currentState() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
currentState(const StatePtr &s) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
equalToZero(const BaseSemantics::SValuePtr &a) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
extract(const BaseSemantics::SValuePtr &a, size_t begin_bit, size_t end_bit) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
filterCallTarget(const BaseSemantics::SValuePtr &) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
filterIndirectJumpTarget(const BaseSemantics::SValuePtr &) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
filterReturnTarget(const BaseSemantics::SValuePtr &) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
finishInstruction(SgAsmInstruction *insn) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
formatter (defined in Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | protected |
fpAdd(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpConvert(const BaseSemantics::SValuePtr &, SgAsmFloatType *, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpDivide(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpEffectiveExponent(const BaseSemantics::SValuePtr &, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpFromInteger(const BaseSemantics::SValuePtr &, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpIsDenormalized(const BaseSemantics::SValuePtr &, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpIsInfinity(const BaseSemantics::SValuePtr &, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpIsNan(const BaseSemantics::SValuePtr &, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpIsZero(const BaseSemantics::SValuePtr &, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpMultiply(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpRoundTowardZero(const BaseSemantics::SValuePtr &, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpSign(const BaseSemantics::SValuePtr &, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpSquareRoot(const BaseSemantics::SValuePtr &, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpSubtract(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
fpToInteger(const BaseSemantics::SValuePtr &, SgAsmFloatType *, const BaseSemantics::SValuePtr &) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
get_formatter() | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | inlinevirtual |
get_subdomain(size_t idx) const | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
getGraph() const | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | inline |
hash(Combinatorics::Hasher &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
hlt() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
hotPatch() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inline |
hotPatch() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inline |
hotPatch(const HotPatch &hp) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inline |
initialState() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
initialState(const StatePtr &s) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
instance(const BaseSemantics::RiscOperatorsPtr &childOps) | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | inlinestatic |
instanceFromProtoval(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | static |
instanceFromRegisters(const RegisterDictionaryPtr &) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | static |
instanceFromState(const BaseSemantics::StatePtr &, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | static |
interrupt(int majorNumber, int minorNumber) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
interrupt(const SValuePtr &majr, const SValuePtr &minr, const SValuePtr &raise) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
invert(const BaseSemantics::SValuePtr &a) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
is_active(size_t idx) const | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
isEqual(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
isNoopRead() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
isNoopRead(bool b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
isNotEqual(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
isSignedGreaterThan(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
isSignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
isSignedLessThan(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
isSignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
isUnsignedGreaterThan(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
isUnsignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
isUnsignedLessThan(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
isUnsignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
ite(const SValuePtr &cond, const SValuePtr &a, const SValuePtr &b) final | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
IteStatus enum name | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | |
iteWithStatus(const BaseSemantics::SValuePtr &cond, const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b, IteStatus &) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
leastSignificantSetBit(const BaseSemantics::SValuePtr &a) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
mostSignificantSetBit(const BaseSemantics::SValuePtr &a) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
name() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
name(const std::string &s) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
negate(const BaseSemantics::SValuePtr &a) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
nInsns() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
nInsns(size_t n) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
nsubdomains() const | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
number_(size_t nbits, uint64_t value) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
operator+(Formatter &fmt) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inline |
operator+(const std::string &linePrefix) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | |
or_(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
peekMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr_, const BaseSemantics::SValuePtr &dflt_) override | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | virtual |
peekRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &dflt) override | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | virtual |
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators::peekRegister(RegisterDescriptor reg) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inline |
print(std::ostream &o, BaseSemantics::Formatter &) const override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators::print(std::ostream &stream, const std::string prefix="") const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | |
promote(const BaseSemantics::RiscOperatorsPtr &x) | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | inlinestatic |
protoval() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
Ptr typedef | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | |
raiseInterrupt(unsigned majorNumber, unsigned minorNumber, const SValuePtr &raise) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
rdtsc() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
readMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr_, const BaseSemantics::SValuePtr &dflt_, const BaseSemantics::SValuePtr &cond) override | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | virtual |
readOrPeekMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt, const BaseSemantics::SValuePtr &cond, bool allowSideEffects) (defined in Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | protected |
readRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &dflt) override | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | virtual |
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators::readRegister(RegisterDescriptor reg) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
reinterpret(const BaseSemantics::SValuePtr &, SgAsmType *) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
reverseElmts(const SValuePtr &a, size_t elmtNBits) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
RiscOperators(const BaseSemantics::RiscOperatorsPtr &userDomain) (defined in Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | inlineexplicitprotected |
RiscOperators(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | explicitprotected |
RiscOperators(const BaseSemantics::StatePtr &, const SmtSolverPtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | explicitprotected |
RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | protected |
rotateLeft(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &nbits) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
rotateRight(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &nbits) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
set_active(size_t idx, bool status) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
shiftLeft(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &nbits) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
shiftRight(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &nbits) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
shiftRightArithmetic(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &nbits) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
signedDivide(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
signedModulo(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
signedMultiply(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
signExtend(const BaseSemantics::SValuePtr &a, size_t new_width) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
solver() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
solver(const SmtSolverPtr &s) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
split(const SValuePtr &a, size_t splitPoint) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
startInstruction(SgAsmInstruction *insn) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
subdomains (defined in Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | protected |
Subdomains typedef (defined in Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | protected |
subtract(const SValuePtr &minuend, const SValuePtr &subtrahend) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
subtractCarry(const SValuePtr &minuend, const SValuePtr &subtrahend, SValuePtr &carryOut, SValuePtr &overflowed) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
Super typedef | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | |
svalue_empty(size_t nbits) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | inlinevirtual |
undefined_(size_t nbits) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
unsignedDivide(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
unsignedExtend(const BaseSemantics::SValuePtr &a, size_t new_width) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
unsignedModulo(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
unsignedMultiply(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
unspecified_(size_t nbits) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
with_format(Formatter &fmt) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inline |
writeMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr_, const BaseSemantics::SValuePtr &data_, const BaseSemantics::SValuePtr &cond) override | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | virtual |
writeRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &a_) override | Rose::BinaryAnalysis::InstructionSemantics::DataFlowSemantics::RiscOperators | virtual |
xor_(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) override | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |
~RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::RiscOperators | virtual |