ROSE  0.9.10.103
Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperators Member List

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

add(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
add_rewrite(const ExpressionPtr &from, const LeafPtr &to)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
add_variable(const LeafPtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
addr_label(rose_addr_t)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
addWithCarries(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_, const BaseSemantics::SValuePtr &c_, BaseSemantics::SValuePtr &carry_out) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
and_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
boolean_(bool b) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinlinevirtual
bottom_(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
clear_compute_memwriters() ROSE_DEPRECATED("use computingMemoryWriters instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
clear_compute_usedef() ROSE_DEPRECATED("use computingDefiners instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
computingDefiners(DefinersMode m)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
computingDefiners() const Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
computingDefiners_ (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsprotected
computingMemoryWriters(WritersMode m)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
computingMemoryWriters() const Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
computingMemoryWriters_ (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsprotected
computingRegisterWriters(WritersMode m)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
computingRegisterWriters() const Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
computingRegisterWriters_ (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsprotected
computingUseDef() const ROSE_DEPRECATED("use computingDefiners instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
computingUseDef(bool b) ROSE_DEPRECATED("use computingDefiners instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
concat(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
cpuid()Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
create(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsinlinevirtual
create(const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsinlinevirtual
currentInstruction() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
currentState() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
currentState(const StatePtr &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
emit_arithmetic_right_shift(std::ostream &, const ExpressionPtr &value, const ExpressionPtr &amount)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_assignment(std::ostream &, const ExpressionPtr &rhs)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_binary(std::ostream &, const std::string &llvm_op, const ExpressionPtr &, const ExpressionPtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_changed_state(std::ostream &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
emit_compare(std::ostream &, const std::string &llvm_op, const ExpressionPtr &, const ExpressionPtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_concat(std::ostream &, TreeNodes operands)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_expression(std::ostream &, const SValuePtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
emit_expression(std::ostream &, const ExpressionPtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
emit_expression(std::ostream &, const LeafPtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
emit_extract(std::ostream &, const ExpressionPtr &value, const ExpressionPtr &from, size_t result_nbits)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_global_read(std::ostream &, const std::string &varname, size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_invert(std::ostream &, const ExpressionPtr &value)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_ite(std::ostream &, const ExpressionPtr &cond, const ExpressionPtr &, const ExpressionPtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_left_associative(std::ostream &, const std::string &llvm_op, const TreeNodes &operands)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_left_shift(std::ostream &, const ExpressionPtr &value, const ExpressionPtr &amount)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_left_shift_ones(std::ostream &, const ExpressionPtr &value, const ExpressionPtr &amount)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_logical_right_shift(std::ostream &, const ExpressionPtr &value, const ExpressionPtr &amount)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_logical_right_shift_ones(std::ostream &, const ExpressionPtr &value, const ExpressionPtr &amount)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_lssb(std::ostream &, const ExpressionPtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_memory_read(std::ostream &, const ExpressionPtr &address, size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_memory_write(std::ostream &, const ExpressionPtr &address, const ExpressionPtr &value)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_memory_writes(std::ostream &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
emit_mssb(std::ostream &, const ExpressionPtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_next_eip(std::ostream &, SgAsmInstruction *latest_insn)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
emit_prerequisites(std::ostream &, const RegisterDescriptors &, const RegisterDictionary *)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
emit_register_declarations(std::ostream &, const RegisterDescriptors &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
emit_register_definitions(std::ostream &, const RegisterDescriptors &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
emit_rotate_left(std::ostream &, const ExpressionPtr &value, const ExpressionPtr &amount)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_rotate_right(std::ostream &, const ExpressionPtr &value, const ExpressionPtr &amount)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_sign_extend(std::ostream &, const ExpressionPtr &value, size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_signed_binary(std::ostream &, const std::string &llvm_op, const ExpressionPtr &, const ExpressionPtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_signed_divide(std::ostream &, const ExpressionPtr &numerator, const ExpressionPtr &denominator)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_signed_modulo(std::ostream &, const ExpressionPtr &numerator, const ExpressionPtr &denominator)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_signed_multiply(std::ostream &, const TreeNodes &operands)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_truncate(std::ostream &, const ExpressionPtr &value, size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_unsigned_binary(std::ostream &, const std::string &llvm_op, const ExpressionPtr &, const ExpressionPtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_unsigned_divide(std::ostream &, const ExpressionPtr &numerator, const ExpressionPtr &denominator)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_unsigned_modulo(std::ostream &, const ExpressionPtr &numerator, const ExpressionPtr &denominator)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_unsigned_multiply(std::ostream &, const TreeNodes &operands)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_unsigned_resize(std::ostream &, const ExpressionPtr &value, size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
emit_zero_extend(std::ostream &, const ExpressionPtr &value, size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsprotectedvirtual
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::SymbolicSemantics::RiscOperatorsvirtual
extract(const BaseSemantics::SValuePtr &a_, size_t begin_bit, size_t end_bit) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
filterCallTarget(const SValuePtr &a)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
filterIndirectJumpTarget(const SValuePtr &a)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
filterResult(const BaseSemantics::SValuePtr &)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
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
function_label(SgAsmFunction *)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
get_compute_memwriters() const ROSE_DEPRECATED("use computingMemoryWriters instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
get_compute_usedef() ROSE_DEPRECATED("use computingDefiners instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
get_important_registers()Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
get_insn() const ROSE_DEPRECATED("use currentInstruction instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
get_insn_pointer_register()Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
get_instruction_pointer()Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
get_memory_writes()Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsinlinevirtual
get_modified_registers()Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
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
get_stored_registers()Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
get_variable(const LeafPtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
getset_omit_cur_insn(bool b) (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
hlt()Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
indent(int nlevels=1)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::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::LlvmSemantics::RiscOperatorsinlinestatic
instance(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsinlinestatic
instance(const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsinlinestatic
interrupt(int majr, int minr) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
invert(const BaseSemantics::SValuePtr &a_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::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::SymbolicSemantics::RiscOperatorsvirtual
leastSignificantSetBit(const BaseSemantics::SValuePtr &a_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
llvm_integer_type(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
llvm_lvalue(const LeafPtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
llvm_term(const ExpressionPtr &)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
llvmVersion() const Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsinline
llvmVersion(int v)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsinline
make_current()Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
mostSignificantSetBit(const BaseSemantics::SValuePtr &a_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::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::SymbolicSemantics::RiscOperatorsvirtual
next_label()Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
next_temporary(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::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_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinlinevirtual
omit_cur_insn (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsprotected
operator+(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinline
or_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
peekMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
peekRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &dflt) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
prefix() const Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperators
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::LlvmSemantics::RiscOperatorsinlinestatic
protoval() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
Ptr typedefRose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators
rdtsc()Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
readMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt, const BaseSemantics::SValuePtr &cond) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
readOrPeekMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt, bool allowSideEffects) (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsprotectedvirtual
readRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &dflt) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators::readRegister(RegisterDescriptor reg)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
reset()Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
RiscOperators(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsinlineexplicitprotected
RiscOperators(const BaseSemantics::StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsinlineexplicitprotected
RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinlineprotected
rotateLeft(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
rotateRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
set_compute_memwriters(bool b=true) ROSE_DEPRECATED("use computingMemoryWriters instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
set_compute_usedef(bool b=true) ROSE_DEPRECATED("use computingDefiners instead") (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
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 BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
shiftRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
shiftRightArithmetic(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
signedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
signedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
signedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
signExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
solver() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
solver(const SmtSolverPtr &s)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
startInstruction(SgAsmInstruction *insn)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
substitute(const SValuePtr &from, const SValuePtr &to)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
subtract(const SValuePtr &minuend, const SValuePtr &subtrahend)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsvirtual
Super typedef (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators
svalue_boolean(bool b) (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinlineprotected
svalue_bottom(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinlineprotected
svalue_expr(const ExprPtr &expr, const InsnSet &defs=InsnSet()) (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinlineprotected
svalue_number(size_t nbits, uint64_t value) (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinlineprotected
svalue_undefined(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinlineprotected
svalue_unspecified(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinlineprotected
trimThreshold(size_t n)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
trimThreshold() const Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsinline
trimThreshold_ (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsprotected
undefined_(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual
unsignedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
unsignedExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
unsignedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
unsignedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
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 BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &data, const BaseSemantics::SValuePtr &cond) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::LlvmSemantics::RiscOperatorsvirtual
writeRegister(RegisterDescriptor reg, const BaseSemantics::SValuePtr &a_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
xor_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::RiscOperatorsvirtual
~RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperators)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RiscOperatorsinlinevirtual