add(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::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::TaintSemantics::RiscOperators | virtual |
and_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
boolean_(bool b) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
bottom_(size_t nbits) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
comment(const std::string &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
computingDefiners(DefinersMode m) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
computingDefiners() const | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
computingDefiners_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
computingMemoryWriters(WritersMode m) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
computingMemoryWriters() const | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
computingMemoryWriters_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
computingRegisterWriters(WritersMode m) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
computingRegisterWriters() const | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
computingRegisterWriters_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
concat(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::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 |
create(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) const override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
create(const BaseSemantics::StatePtr &, const SmtSolverPtr &solver=SmtSolverPtr()) const override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
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::TaintSemantics::RiscOperators | virtual |
extract(const BaseSemantics::SValuePtr &a_, size_t begin_bit, size_t end_bit) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
filterCallTarget(const SValuePtr &a) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
filterIndirectJumpTarget(const SValuePtr &a) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
filterResult(const BaseSemantics::SValuePtr &) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
filterReturnTarget(const SValuePtr &a) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
finishInstruction(SgAsmInstruction *insn) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpAdd(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpConvert(const BaseSemantics::SValuePtr &a, SgAsmFloatType *aType, SgAsmFloatType *retType) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
fpDivide(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpEffectiveExponent(const SValuePtr &fpValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpFromInteger(const SValuePtr &intValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpIsDenormalized(const SValuePtr &fpValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpIsInfinity(const SValuePtr &fpValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpIsNan(const SValuePtr &fpValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpIsZero(const SValuePtr &fpValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpMultiply(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpRoundTowardZero(const SValuePtr &a, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpSign(const SValuePtr &fpValue, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpSquareRoot(const SValuePtr &a, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpSubtract(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
fpToInteger(const SValuePtr &fpValue, SgAsmFloatType *fpType, const SValuePtr &dflt) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
getset_omit_cur_insn(bool b) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::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 |
instanceFromProtoval(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | static |
instanceFromRegisters(const RegisterDictionaryPtr &, const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | static |
instanceFromState(const BaseSemantics::StatePtr &, const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | static |
interrupt(int majr, int minr) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators::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::TaintSemantics::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 &sel_, const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_, IteStatus &) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
leastSignificantSetBit(const BaseSemantics::SValuePtr &a_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
mostSignificantSetBit(const BaseSemantics::SValuePtr &a_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::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::TaintSemantics::RiscOperators | virtual |
nInsns() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
nInsns(size_t n) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
nTrimmed() const | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
nTrimmed(size_t n) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
nTrimmed_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
number_(size_t nbits, uint64_t value) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
omit_cur_insn (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
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::TaintSemantics::RiscOperators | virtual |
peekMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
peekRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &dflt) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators::peekRegister(RegisterDescriptor reg) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inline |
print(std::ostream &stream, const std::string prefix="") const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | |
print(std::ostream &stream, Formatter &fmt) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
promote(const BaseSemantics::RiscOperatorsPtr &) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | static |
protoval() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
Ptr typedef | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::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::SymbolicSemantics::RiscOperators | virtual |
readOrPeekMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt, AllowSideEffects::Flag) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | |
readRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &dflt) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::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::TaintSemantics::RiscOperators | virtual |
reinterpretMemoryReads() const | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
reinterpretMemoryReads(bool b) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
reinterpretMemoryReads_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
reinterpretRegisterReads() const | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
reinterpretRegisterReads(bool b) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
reinterpretRegisterReads_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
reverseElmts(const SValuePtr &a, size_t elmtNBits) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | protected |
RiscOperators(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | explicitprotected |
RiscOperators(const BaseSemantics::StatePtr &, const SmtSolverPtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | explicitprotected |
rotateLeft(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
rotateRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
sgIsIeee754(SgAsmType *) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | static |
sgTypeToSymbolicType(SgAsmType *) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
shiftLeft(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
shiftRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
shiftRightArithmetic(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
signedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
signedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
signedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
signExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::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) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
substitute(const SValuePtr &from, const SValuePtr &to) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
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::TaintSemantics::RiscOperators | |
svalueBoolean(bool b) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
svalueBottom(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
svalueExpr(const ExprPtr &expr, const InsnSet &defs=InsnSet()) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | |
svalueNumber(size_t nbits, uint64_t value) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
svalueUndefined(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
svalueUnspecified(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
trimThreshold(uint64_t n) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
trimThreshold() const | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
trimThreshold_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
undefined_(size_t nbits) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
unsignedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
unsignedExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
unsignedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
unsignedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
unspecified_(size_t nbits) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::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::SymbolicSemantics::RiscOperators | virtual |
writeRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &a_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
xor_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |
~RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators | virtual |