| add(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::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::SymbolicSemantics::RiscOperators | virtual |
| and_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::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::SymbolicSemantics::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::SymbolicSemantics::RiscOperators | virtual |
| create(const BaseSemantics::StatePtr &, const SmtSolverPtr &solver=SmtSolverPtr()) const override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::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::SymbolicSemantics::RiscOperators | virtual |
| extract(const BaseSemantics::SValuePtr &a_, size_t begin_bit, size_t end_bit) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::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::SymbolicSemantics::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::SymbolicSemantics::RiscOperators | static |
| instanceFromRegisters(const RegisterDictionaryPtr &, const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | static |
| instanceFromState(const BaseSemantics::StatePtr &, const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::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::SymbolicSemantics::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::SymbolicSemantics::RiscOperators | virtual |
| leastSignificantSetBit(const BaseSemantics::SValuePtr &a_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
| mostSignificantSetBit(const BaseSemantics::SValuePtr &a_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::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::SymbolicSemantics::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::SymbolicSemantics::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::SymbolicSemantics::RiscOperators | static |
| protoval() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
| Ptr typedef | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::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::SymbolicSemantics::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::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | protected |
| RiscOperators(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | explicitprotected |
| RiscOperators(const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | explicitprotected |
| rotateLeft(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
| rotateRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::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::SymbolicSemantics::RiscOperators | virtual |
| shiftRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
| shiftRightArithmetic(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
| signedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
| signedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
| signedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
| signExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::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::SymbolicSemantics::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::SymbolicSemantics::RiscOperators | virtual |
| unsignedExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
| unsignedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
| unsignedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::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::SymbolicSemantics::RiscOperators | virtual |
| ~RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
