ROSE  0.9.10.86
Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators Member List

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

add(const SValuePtr &a, const SValuePtr &b)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
addWithCarries(const SValuePtr &a, const SValuePtr &b, const SValuePtr &c, SValuePtr &carry_out)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
and_(const SValuePtr &a, const SValuePtr &b)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
boolean_(bool value)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
bottom_(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
concat(const SValuePtr &a, const SValuePtr &b)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
cpuid()Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
create(const SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) const =0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
create(const StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) const =0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
currentInstruction() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
currentState() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
currentState(const StatePtr &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
equal(const SValuePtr &a, const SValuePtr &b) ROSE_DEPRECATED("use isEqual instead")Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators
equalToZero(const SValuePtr &a)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
extract(const SValuePtr &a, size_t begin_bit, size_t end_bit)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
filterCallTarget(const SValuePtr &a)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
filterIndirectJumpTarget(const SValuePtr &a)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
filterReturnTarget(const SValuePtr &a)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
finishInstruction(SgAsmInstruction *insn)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
fpAdd(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpConvert(const SValuePtr &a, SgAsmFloatType *aType, SgAsmFloatType *retType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpDivide(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpEffectiveExponent(const SValuePtr &fpValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpFromInteger(const SValuePtr &intValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpIsDenormalized(const SValuePtr &fpValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpIsInfinity(const SValuePtr &fpValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpIsNan(const SValuePtr &fpValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpIsZero(const SValuePtr &fpValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpMultiply(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpRoundTowardZero(const SValuePtr &a, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpSign(const SValuePtr &fpValue, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpSquareRoot(const SValuePtr &a, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpSubtract(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
fpToInteger(const SValuePtr &fpValue, SgAsmFloatType *fpType, const SValuePtr &dflt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
get_insn() const ROSE_DEPRECATED("use currentInstruction instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
get_name() const ROSE_DEPRECATED("use name instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
get_ninsns() const ROSE_DEPRECATED("use nInsns instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
get_protoval() const ROSE_DEPRECATED("use protoval instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
get_state() const ROSE_DEPRECATED("use currentState instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
hlt()Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
initialState() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
initialState(const StatePtr &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
interrupt(int, int)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
invert(const SValuePtr &a)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
isEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isNotEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isSignedGreaterThan(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isSignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isSignedLessThan(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isSignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isUnsignedGreaterThan(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isUnsignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isUnsignedLessThan(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
isUnsignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
ite(const SValuePtr &cond, const SValuePtr &a, const SValuePtr &b)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
leastSignificantSetBit(const SValuePtr &a)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
mostSignificantSetBit(const SValuePtr &a)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
name() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
name(const std::string &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
negate(const SValuePtr &a)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
nInsns() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
nInsns(size_t n)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
number_(size_t nbits, uint64_t value)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
operator+(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinline
or_(const SValuePtr &a, const SValuePtr &b)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
peekMemory(RegisterDescriptor segreg, const SValuePtr &addr, const SValuePtr &dflt)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
peekRegister(RegisterDescriptor, const SValuePtr &dflt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
print(std::ostream &stream, const std::string prefix="") const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinline
print(std::ostream &stream, Formatter &fmt) const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
promote(const RiscOperatorsPtr &x) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinestatic
protoval() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
Ptr typedefRose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators
rdtsc()Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
readMemory(RegisterDescriptor segreg, const SValuePtr &addr, const SValuePtr &dflt, const SValuePtr &cond)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
readRegister(RegisterDescriptor reg)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
readRegister(RegisterDescriptor reg, const SValuePtr &dflt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlineprotected
RiscOperators(const SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlineexplicitprotected
RiscOperators(const StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlineexplicitprotected
rotateLeft(const SValuePtr &a, const SValuePtr &nbits)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
rotateRight(const SValuePtr &a, const SValuePtr &nbits)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
set_name(const std::string &s) ROSE_DEPRECATED("use name instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
set_ninsns(size_t n) ROSE_DEPRECATED("use nInsns instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
set_state(const StatePtr &s) ROSE_DEPRECATED("use currentState instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
shiftLeft(const SValuePtr &a, const SValuePtr &nbits)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
shiftRight(const SValuePtr &a, const SValuePtr &nbits)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
shiftRightArithmetic(const SValuePtr &a, const SValuePtr &nbits)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
signedDivide(const SValuePtr &a, const SValuePtr &b)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
signedModulo(const SValuePtr &a, const SValuePtr &b)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
signedMultiply(const SValuePtr &a, const SValuePtr &b)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
signExtend(const SValuePtr &a, size_t new_width)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
solver() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
solver(const SmtSolverPtr &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
startInstruction(SgAsmInstruction *insn)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
subtract(const SValuePtr &minuend, const SValuePtr &subtrahend)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
undefined_(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
unsignedDivide(const SValuePtr &a, const SValuePtr &b)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
unsignedExtend(const SValuePtr &a, size_t new_width)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
unsignedModulo(const SValuePtr &a, const SValuePtr &b)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
unsignedMultiply(const SValuePtr &a, const SValuePtr &b)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
unspecified_(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
with_format(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinline
writeMemory(RegisterDescriptor segreg, const SValuePtr &addr, const SValuePtr &data, const SValuePtr &cond)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
writeRegister(RegisterDescriptor reg, const SValuePtr &a)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
xor_(const SValuePtr &a, const SValuePtr &b)=0Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorspure virtual
~RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual