ROSE 0.11.145.147
Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators Member List

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

add(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
addCarry(const SValuePtr &a, const SValuePtr &b, SValuePtr &carryOut, SValuePtr &overflowed)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
addWithCarries(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_, const BaseSemantics::SValuePtr &c_, BaseSemantics::SValuePtr &carry_out) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
and_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
boolean_(bool b) overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsvirtual
bottom_(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
comment(const std::string &)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
computingDefiners(DefinersMode m)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
computingDefiners() constRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
computingDefiners_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsprotected
computingMemoryWriters(WritersMode m)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
computingMemoryWriters() constRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
computingMemoryWriters_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsprotected
computingRegisterWriters(WritersMode m)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
computingRegisterWriters() constRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
computingRegisterWriters_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsprotected
concat(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
concatHiLo(const SValuePtr &highBits, const SValuePtr &lowBits)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
concatLoHi(const SValuePtr &lowBits, const SValuePtr &highBits)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
convert(const SValuePtr &a, SgAsmType *srcType, SgAsmType *dstType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
countLeadingOnes(const SValuePtr &a)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
countLeadingZeros(const SValuePtr &a)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
cpuid()Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
create(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) const overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
create(const BaseSemantics::StatePtr &, const SmtSolverPtr &solver=SmtSolverPtr()) const overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
currentInstruction() constRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
currentInstruction(SgAsmInstruction *insn)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
currentState() constRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
currentState(const StatePtr &s)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
equalToZero(const BaseSemantics::SValuePtr &a_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
extract(const BaseSemantics::SValuePtr &a_, size_t begin_bit, size_t end_bit) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
filterCallTarget(const SValuePtr &a)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
filterIndirectJumpTarget(const SValuePtr &a)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
filterResult(const BaseSemantics::SValuePtr &)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsvirtual
filterReturnTarget(const SValuePtr &a)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
finishInstruction(SgAsmInstruction *insn)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpAdd(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpConvert(const BaseSemantics::SValuePtr &a, SgAsmFloatType *aType, SgAsmFloatType *retType) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
fpDivide(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpEffectiveExponent(const SValuePtr &fpValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpFromInteger(const SValuePtr &intValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpIsDenormalized(const SValuePtr &fpValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpIsInfinity(const SValuePtr &fpValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpIsNan(const SValuePtr &fpValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpIsZero(const SValuePtr &fpValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpMultiply(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpRoundTowardZero(const SValuePtr &a, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpSign(const SValuePtr &fpValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpSquareRoot(const SValuePtr &a, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpSubtract(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
fpToInteger(const SValuePtr &fpValue, SgAsmFloatType *fpType, const SValuePtr &dflt)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
getset_omit_cur_insn(bool b) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
hash(Combinatorics::Hasher &)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
hlt()Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
hotPatch() constRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinline
hotPatch()Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinline
hotPatch(const HotPatch &hp)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinline
initialState() constRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
initialState(const StatePtr &s)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
instanceFromProtoval(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsstatic
instanceFromRegisters(const RegisterDictionaryPtr &, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsstatic
instanceFromState(const BaseSemantics::StatePtr &, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsstatic
interrupt(int majr, int minr) overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsvirtual
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators::interrupt(const SValuePtr &majr, const SValuePtr &minr, const SValuePtr &raise)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
invert(const BaseSemantics::SValuePtr &a_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
isEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
isNoopRead() constRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
isNoopRead(bool b)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
isNotEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
isSignedGreaterThan(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
isSignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
isSignedLessThan(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
isSignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
isUnsignedGreaterThan(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
isUnsignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
isUnsignedLessThan(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
isUnsignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
ite(const SValuePtr &cond, const SValuePtr &a, const SValuePtr &b) finalRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
IteStatus enum nameRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators
iteWithStatus(const BaseSemantics::SValuePtr &sel_, const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_, IteStatus &) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
leastSignificantSetBit(const BaseSemantics::SValuePtr &a_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
mostSignificantSetBit(const BaseSemantics::SValuePtr &a_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
name() constRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
name(const std::string &s)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
negate(const BaseSemantics::SValuePtr &a_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
nInsns() constRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
nInsns(size_t n)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
nTrimmed() constRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
nTrimmed(size_t n)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
nTrimmed_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsprotected
number_(size_t nbits, uint64_t value) overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsvirtual
omit_cur_insn (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsprotected
operator+(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinline
operator+(const std::string &linePrefix)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators
or_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
peekMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt) overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsvirtual
peekRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &dflt) overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsvirtual
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators::peekRegister(RegisterDescriptor reg)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinline
print(std::ostream &stream, const std::string prefix="") constRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators
print(std::ostream &stream, Formatter &fmt) constRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
promote(const BaseSemantics::RiscOperatorsPtr &)Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsstatic
protoval() constRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
Ptr typedefRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators
raiseInterrupt(unsigned majorNumber, unsigned minorNumber, const SValuePtr &raise)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
rdtsc()Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
readMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt, const BaseSemantics::SValuePtr &cond) overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsvirtual
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) overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsvirtual
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators::readRegister(RegisterDescriptor reg)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
reinterpret(const BaseSemantics::SValuePtr &, SgAsmType *) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
reinterpretMemoryReads() constRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
reinterpretMemoryReads(bool b)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
reinterpretMemoryReads_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsprotected
reinterpretRegisterReads() constRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
reinterpretRegisterReads(bool b)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
reinterpretRegisterReads_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsprotected
reverseElmts(const SValuePtr &a, size_t elmtNBits)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsprotected
RiscOperators(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsexplicitprotected
RiscOperators(const BaseSemantics::StatePtr &, const SmtSolverPtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsexplicitprotected
rotateLeft(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
rotateRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
sgIsIeee754(SgAsmType *)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsstatic
sgTypeToSymbolicType(SgAsmType *)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsvirtual
shiftLeft(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
shiftRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
shiftRightArithmetic(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
signedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
signedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
signedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
signExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
solver() constRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
solver(const SmtSolverPtr &s)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinlinevirtual
split(const SValuePtr &a, size_t splitPoint)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
startInstruction(SgAsmInstruction *insn)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
substitute(const SValuePtr &from, const SValuePtr &to)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsvirtual
subtract(const SValuePtr &minuend, const SValuePtr &subtrahend)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
subtractCarry(const SValuePtr &minuend, const SValuePtr &subtrahend, SValuePtr &carryOut, SValuePtr &overflowed)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
Super typedefRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators
svalueBoolean(bool b) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsprotected
svalueBottom(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsprotected
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::RiscOperatorsprotected
svalueUndefined(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsprotected
svalueUnspecified(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsprotected
trimThreshold(uint64_t n)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
trimThreshold() constRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsinline
trimThreshold_ (defined in Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsprotected
undefined_(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
unsignedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
unsignedExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
unsignedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
unsignedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
unspecified_(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsvirtual
with_format(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsinline
writeMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &data, const BaseSemantics::SValuePtr &cond) overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsvirtual
writeRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &a_) overrideRose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::RiscOperatorsvirtual
xor_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) overrideRose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual
~RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsvirtual