ROSE  0.9.9.168
Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators Member List

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

add(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
addWithCarries(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_, const BaseSemantics::SValuePtr &c_, BaseSemantics::SValuePtr &carry_out) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
and_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
boolean_(bool value)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
bottom_(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
concat(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
cpuid() ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
create(const BaseSemantics::SValuePtr &protoval, SmtSolver *solver=NULL) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsinlinevirtual
create(const BaseSemantics::StatePtr &state, SmtSolver *solver=NULL) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsinlinevirtual
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 BaseSemantics::SValuePtr &a_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
extract(const BaseSemantics::SValuePtr &a_, size_t begin_bit, size_t end_bit) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
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_solver() const ROSE_DEPRECATED("use solver 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
haltExecution()Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsinline
hlt() ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
initialState() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
initialState(const StatePtr &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
instance(const RegisterDictionary *regdict, SmtSolver *solver=NULL)Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsinlinestatic
instance(const BaseSemantics::SValuePtr &protoval, SmtSolver *solver=NULL)Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsinlinestatic
instance(const BaseSemantics::StatePtr &state, SmtSolver *solver=NULL)Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsinlinestatic
interrupt(int majr, int minr) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
invert(const BaseSemantics::SValuePtr &a_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
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 BaseSemantics::SValuePtr &sel_, const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
leastSignificantSetBit(const BaseSemantics::SValuePtr &a_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
makeMask(size_t nBits, size_t nSet, size_t sa=0)Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators
makeSValue(size_t nbits, SgNode *, const std::string &ctext="")Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators
mostSignificantSetBit(const BaseSemantics::SValuePtr &a_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
name() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
name(const std::string &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
negate(const BaseSemantics::SValuePtr &a_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
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 BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
peekRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &dflt) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::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 BaseSemantics::RiscOperatorsPtr &x)Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsinlinestatic
protoval() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
Ptr typedefRose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators
rdtsc() ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
readMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt, const BaseSemantics::SValuePtr &cond) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
readRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &dflt) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators::readRegister(RegisterDescriptor reg)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
registerVariableName(RegisterDescriptor)Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators
reset()Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsinline
resetState()Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators
RiscOperators(const BaseSemantics::SValuePtr &protoval, SmtSolver *solver) (defined in Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsinlineprotected
RiscOperators(const BaseSemantics::StatePtr &state, SmtSolver *solver) (defined in Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsinlineprotected
RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlineprotected
rotateLeft(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
rotateRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
saveSideEffect(const BaseSemantics::SValuePtr &expression, const BaseSemantics::SValuePtr &location=BaseSemantics::SValuePtr())Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators
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_solver(SmtSolver *s) ROSE_DEPRECATED("use solver 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 BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
shiftRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
shiftRightArithmetic(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
sideEffects() const Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsinline
SideEffects typedefRose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators
signedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
signedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
signedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
signExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
solver() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
solver(SmtSolver *s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
startInstruction(SgAsmInstruction *insn)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
substitute(const BaseSemantics::SValuePtr &expression)Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators
subtract(const SValuePtr &minuend, const SValuePtr &subtrahend)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
undefined_(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
unsignedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
unsignedExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
unsignedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
unsignedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
unspecified_(size_t nbits) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
with_format(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinline
writeMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &data, const BaseSemantics::SValuePtr &cond) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
writeRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &a) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
xor_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperatorsvirtual
~RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual