| add(const InstructionSemantics::BaseSemantics::SValuePtr &a, const InstructionSemantics::BaseSemantics::SValuePtr &b) override | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | virtual |
| addCarry(const InstructionSemantics::BaseSemantics::SValuePtr &a, const InstructionSemantics::BaseSemantics::SValuePtr &b, InstructionSemantics::BaseSemantics::SValuePtr &carryOut, InstructionSemantics::BaseSemantics::SValuePtr &overflowed) override | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | virtual |
| addWithCarries(const InstructionSemantics::BaseSemantics::SValuePtr &a, const InstructionSemantics::BaseSemantics::SValuePtr &b, const InstructionSemantics::BaseSemantics::SValuePtr &c, InstructionSemantics::BaseSemantics::SValuePtr &carryOut) override | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | virtual |
| and_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
| assignRegion(const InstructionSemantics::BaseSemantics::SValuePtr &result) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| assignRegion(const InstructionSemantics::BaseSemantics::SValuePtr &result, const InstructionSemantics::BaseSemantics::SValuePtr &a) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| assignRegion(const InstructionSemantics::BaseSemantics::SValuePtr &result, const InstructionSemantics::BaseSemantics::SValuePtr &a, const InstructionSemantics::BaseSemantics::SValuePtr &b) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| boolean_(bool b) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inlinevirtual |
| bottom_(size_t nbits) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
| checkNullAccess(const InstructionSemantics::BaseSemantics::SValuePtr &addr, TestMode, IoMode) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| checkOobAccess(const InstructionSemantics::BaseSemantics::SValuePtr &addr, TestMode, IoMode, size_t nBytes) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| checkUninitVar(const InstructionSemantics::BaseSemantics::SValuePtr &addr, TestMode, size_t nBytes) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| comment(const std::string &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
| computeMemoryRegions() const | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| computeMemoryRegions(bool) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| 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 InstructionSemantics::BaseSemantics::SValuePtr &lowBits, const InstructionSemantics::BaseSemantics::SValuePtr &highBits) override | Rose::BinaryAnalysis::ModelChecker::P2Model::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 InstructionSemantics::BaseSemantics::SValuePtr &, const SmtSolverPtr &) const override | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | virtual |
| create(const InstructionSemantics::BaseSemantics::StatePtr &, const SmtSolverPtr &) const override | Rose::BinaryAnalysis::ModelChecker::P2Model::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 InstructionSemantics::BaseSemantics::SValuePtr &, size_t begin, size_t end) override | Rose::BinaryAnalysis::ModelChecker::P2Model::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 *) override | Rose::BinaryAnalysis::ModelChecker::P2Model::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 |
| instance(const Settings &, const Partitioner2::Partitioner &, ModelChecker::SemanticCallbacks *, const InstructionSemantics::BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &, const Variables::VariableFinderPtr &) (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | static |
| 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 &enabled) | 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 |
| maybeInitCallStack(rose_addr_t insnVa) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| modelCheckerSolver() const | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| modelCheckerSolver(const SmtSolver::Ptr &) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| 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 |
| nInstructions() const | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| nInstructions(size_t) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| 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::ModelChecker::P2Model::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 |
| partitioner() const | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| 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 |
| popCallStack() | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| 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 |
| printCallStack(std::ostream &, const std::string &prefix) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| promote(const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &x) (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | static |
| protoval() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
| pruneCallStack() | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| Ptr typedef (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| pushCallStack(const Partitioner2::FunctionPtr &callee, rose_addr_t initialSp, Sawyer::Optional< rose_addr_t > returnVa) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| rdtsc() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
| readMemory(RegisterDescriptor segreg, const InstructionSemantics::BaseSemantics::SValuePtr &addr, const InstructionSemantics::BaseSemantics::SValuePtr &dflt, const InstructionSemantics::BaseSemantics::SValuePtr &cond) override | Rose::BinaryAnalysis::ModelChecker::P2Model::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, const InstructionSemantics::BaseSemantics::SValuePtr &) override | Rose::BinaryAnalysis::ModelChecker::P2Model::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(const Settings &, const Partitioner2::Partitioner &, ModelChecker::SemanticCallbacks *, const InstructionSemantics::BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &, const Variables::VariableFinderPtr &) (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | protected |
| 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 InstructionSemantics::BaseSemantics::SValuePtr &a, const InstructionSemantics::BaseSemantics::SValuePtr &nBits) override | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | virtual |
| shiftRight(const InstructionSemantics::BaseSemantics::SValuePtr &a, const InstructionSemantics::BaseSemantics::SValuePtr &nBits) override | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | virtual |
| shiftRightArithmetic(const InstructionSemantics::BaseSemantics::SValuePtr &a, const InstructionSemantics::BaseSemantics::SValuePtr &nBits) override | Rose::BinaryAnalysis::ModelChecker::P2Model::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 InstructionSemantics::BaseSemantics::SValue::Ptr &a, size_t newWidth) override | Rose::BinaryAnalysis::ModelChecker::P2Model::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 InstructionSemantics::BaseSemantics::SValuePtr &a, const InstructionSemantics::BaseSemantics::SValuePtr &b) override | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | virtual |
| subtractCarry(const InstructionSemantics::BaseSemantics::SValuePtr &a, const InstructionSemantics::BaseSemantics::SValuePtr &b, InstructionSemantics::BaseSemantics::SValuePtr &carryOut, InstructionSemantics::BaseSemantics::SValuePtr &overflowed) override | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | virtual |
| Super typedef (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | |
| svalueBoolean(bool b) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inlineprotected |
| svalueBottom(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inlineprotected |
| svalueExpr(const ExprPtr &expr, const InsnSet &defs=InsnSet()) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inline |
| svalueNumber(size_t nbits, uint64_t value) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inlineprotected |
| svalueUndefined(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inlineprotected |
| svalueUnspecified(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | inlineprotected |
| 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 InstructionSemantics::BaseSemantics::SValue::Ptr &a, size_t newWidth) override | Rose::BinaryAnalysis::ModelChecker::P2Model::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 InstructionSemantics::BaseSemantics::SValuePtr &addr, const InstructionSemantics::BaseSemantics::SValuePtr &value, const InstructionSemantics::BaseSemantics::SValuePtr &cond) override | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | virtual |
| writeRegister(RegisterDescriptor, const InstructionSemantics::BaseSemantics::SValuePtr &) override | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | virtual |
| xor_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators | virtual |
| ~RiscOperators() (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators) | Rose::BinaryAnalysis::ModelChecker::P2Model::RiscOperators | virtual |
