add(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::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::SourceAstSemantics::RiscOperators | virtual |
and_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
boolean_(bool value) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
bottom_(size_t nbits) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
comment(const std::string &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
concat(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::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() override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
create(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) const override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
create(const BaseSemantics::StatePtr &, const SmtSolverPtr &solver=SmtSolverPtr()) const override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::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::SourceAstSemantics::RiscOperators | virtual |
extract(const BaseSemantics::SValuePtr &a_, size_t begin_bit, size_t end_bit) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
filterCallTarget(const SValuePtr &a) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
filterIndirectJumpTarget(const SValuePtr &a) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::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 SValuePtr &a, SgAsmFloatType *aType, SgAsmFloatType *retType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::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 |
haltExecution() | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | inline |
hash(Combinatorics::Hasher &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
hlt() override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
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::SourceAstSemantics::RiscOperators | static |
instanceFromRegisters(const RegisterDictionaryPtr &, const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | static |
instanceFromState(const BaseSemantics::StatePtr &, const SmtSolverPtr &) | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | static |
interrupt(int majr, int minr) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::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::SourceAstSemantics::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::SourceAstSemantics::RiscOperators | virtual |
leastSignificantSetBit(const BaseSemantics::SValuePtr &a_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
makeMask(size_t nBits, size_t nSet, size_t sa=0) | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | |
makeSValue(size_t nbits, SgNode *, const std::string &ctext="") | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | |
mostSignificantSetBit(const BaseSemantics::SValuePtr &a_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::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::SourceAstSemantics::RiscOperators | virtual |
nInsns() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
nInsns(size_t n) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
number_(size_t nbits, uint64_t value) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
operator+(Formatter &fmt) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inline |
operator+(const std::string &linePrefix) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | |
or_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
peekMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
peekRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &dflt) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::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::SourceAstSemantics::RiscOperators | static |
protoval() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
Ptr typedef | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | |
raiseInterrupt(unsigned majorNumber, unsigned minorNumber, const SValuePtr &raise) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
rdtsc() override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
readMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt, const BaseSemantics::SValuePtr &cond) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
readRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &dflt) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators::readRegister(RegisterDescriptor reg) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | inlinevirtual |
registerVariableName(RegisterDescriptor) | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | |
reinterpret(const SValuePtr &a, SgAsmType *retType) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
reset() | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | |
resetState() | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | |
reverseElmts(const SValuePtr &a, size_t elmtNBits) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
RiscOperators(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | protected |
RiscOperators(const BaseSemantics::StatePtr &, const SmtSolverPtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | protected |
RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | protected |
rotateLeft(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
rotateRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
saveSideEffect(const BaseSemantics::SValuePtr &expression, const BaseSemantics::SValuePtr &location=BaseSemantics::SValuePtr()) | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | |
shiftLeft(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
shiftRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
shiftRightArithmetic(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
sideEffects() const | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | |
SideEffects typedef | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | |
signedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
signedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
signedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
signExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::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 BaseSemantics::SValuePtr &expression) | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | |
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::SourceAstSemantics::RiscOperators | |
undefined_(size_t nbits) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |
unsignedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
unsignedExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
unsignedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
unsignedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
unspecified_(size_t nbits) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::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::SourceAstSemantics::RiscOperators | virtual |
writeRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &a) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
xor_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override | Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators | virtual |
~RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators | virtual |