ROSE  0.10.7.0
Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators Member List

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

active (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsprotected
add(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
add_subdomain(const BaseSemantics::RiscOperatorsPtr &subdomain, const std::string &name, bool activate=true)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
addWithCarries(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b, const BaseSemantics::SValuePtr &c, BaseSemantics::SValuePtr &carry_out) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
after(size_t idx)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsinlinevirtual
and_(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
before(size_t idx)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsinlinevirtual
boolean_(bool) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
bottom_(size_t nbits) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
clear_active(size_t idx)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsinlinevirtual
concat(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::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::MultiSemantics::RiscOperatorsinlinevirtual
create(const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::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::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
extract(const BaseSemantics::SValuePtr &a, size_t begin_bit, size_t end_bit) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
filterCallTarget(const BaseSemantics::SValuePtr &) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
filterIndirectJumpTarget(const BaseSemantics::SValuePtr &) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
filterReturnTarget(const BaseSemantics::SValuePtr &) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
finishInstruction(SgAsmInstruction *insn) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
formatter (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsprotected
fpAdd(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpConvert(const BaseSemantics::SValuePtr &, SgAsmFloatType *, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpDivide(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpEffectiveExponent(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpFromInteger(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpIsDenormalized(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpIsInfinity(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpIsNan(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpIsZero(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpMultiply(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpRoundTowardZero(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpSign(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpSquareRoot(const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpSubtract(const BaseSemantics::SValuePtr &, const BaseSemantics::SValuePtr &, SgAsmFloatType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
fpToInteger(const BaseSemantics::SValuePtr &, SgAsmFloatType *, const BaseSemantics::SValuePtr &) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
get_formatter()Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsinlinevirtual
get_subdomain(size_t idx) const Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::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)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsinlinestatic
instance(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsinlinestatic
instance(const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsinlinestatic
interrupt(int, int)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
invert(const BaseSemantics::SValuePtr &a) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
is_active(size_t idx) const Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsinlinevirtual
ite(const BaseSemantics::SValuePtr &cond, const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
leastSignificantSetBit(const BaseSemantics::SValuePtr &a) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
mostSignificantSetBit(const BaseSemantics::SValuePtr &a) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::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::MultiSemantics::RiscOperatorsvirtual
nsubdomains() const Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsinlinevirtual
number_(size_t nbits, uint64_t value) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
or_(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
peekMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
peekRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &dflt) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators::peekRegister(RegisterDescriptor reg)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinline
print(std::ostream &o, BaseSemantics::Formatter &) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators::print(std::ostream &stream, const std::string prefix="") const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators
promote(const BaseSemantics::RiscOperatorsPtr &ops) (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsstatic
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::MultiSemantics::RiscOperatorsvirtual
readRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &dflt) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators::readRegister(RegisterDescriptor reg)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
reinterpret(const BaseSemantics::SValuePtr &, SgAsmType *) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
RiscOperators(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsinlineexplicitprotected
RiscOperators(const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsinlineexplicitprotected
RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsprotected
rotateLeft(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &nbits) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
rotateRight(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &nbits) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
set_active(size_t idx, bool status)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
shiftLeft(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &nbits) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
shiftRight(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &nbits) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
shiftRightArithmetic(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &nbits) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
signedDivide(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
signedModulo(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
signedMultiply(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
signExtend(const BaseSemantics::SValuePtr &a, size_t new_width) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
solver() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
solver(const SmtSolverPtr &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
startInstruction(SgAsmInstruction *insn) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
Subdomains typedef (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsprotected
subdomains (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsprotected
svalue_empty(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsinlinevirtual
undefined_(size_t nbits) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
unsignedDivide(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
unsignedExtend(const BaseSemantics::SValuePtr &a, size_t new_width) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
unsignedModulo(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
unsignedMultiply(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
unspecified_(size_t nbits) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
writeMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &data, const BaseSemantics::SValuePtr &cond) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
writeRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &a) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
xor_(const BaseSemantics::SValuePtr &a, const BaseSemantics::SValuePtr &b) ROSE_OVERRIDE (defined in Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::MultiSemantics::RiscOperatorsvirtual
~RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual