ROSE  0.10.5.0
Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators Member List

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

add(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
addWithCarries(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_, const BaseSemantics::SValuePtr &c_, BaseSemantics::SValuePtr &carry_out) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
and_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
concat(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
convert(const SValuePtr &a, SgAsmType *srcType, SgAsmType *dstType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
create(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsinlinevirtual
create(const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsinlinevirtual
currentState() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
currentState(const StatePtr &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
equalToZero(const BaseSemantics::SValuePtr &a_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
extract(const BaseSemantics::SValuePtr &a_, size_t begin_bit, size_t end_bit) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
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
hotPatch() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinline
hotPatch()Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinline
hotPatch(const HotPatch &hp)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinline
initialState() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
initialState(const StatePtr &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
instance(const RegisterDictionary *regdict, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsinlinestatic
instance(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsinlinestatic
instance(const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsinlinestatic
interrupt(int, int)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
invert(const BaseSemantics::SValuePtr &a_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
ite(const BaseSemantics::SValuePtr &sel_, const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
leastSignificantSetBit(const BaseSemantics::SValuePtr &a_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
mostSignificantSetBit(const BaseSemantics::SValuePtr &a_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::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::IntervalSemantics::RiscOperatorsvirtual
or_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
peekMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
peekRegister(RegisterDescriptor, const SValuePtr &dflt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
peekRegister(RegisterDescriptor reg)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinline
print(std::ostream &stream, const std::string prefix="") const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators
print(std::ostream &stream, Formatter &fmt) const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
promote(const BaseSemantics::RiscOperatorsPtr &x)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsinlinestatic
protoval() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
Ptr typedefRose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators
readMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt, const BaseSemantics::SValuePtr &cond) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
readRegister(RegisterDescriptor reg)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
readRegister(RegisterDescriptor reg, const SValuePtr &dflt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
reinterpret(const SValuePtr &a, SgAsmType *retType)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
RiscOperators(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsinlineexplicitprotected
RiscOperators(const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsinlineexplicitprotected
RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsprotected
rotateLeft(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
rotateRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
shiftLeft(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
shiftRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
shiftRightArithmetic(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
signedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
signedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
signedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
signExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
solver() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
solver(const SmtSolverPtr &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
svalue_from_bits(size_t nbits, uint64_t possible_bits)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsinlinevirtual
svalue_from_intervals(size_t nbits, const Intervals &intervals)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsinlinevirtual
unsignedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
unsignedExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
unsignedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
unsignedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
writeMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &data, const BaseSemantics::SValuePtr &cond) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
writeRegister(RegisterDescriptor reg, const SValuePtr &a)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
xor_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::RiscOperatorsvirtual
~RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual