Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators Member List

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

add(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
addCarry(const SValuePtr &a, const SValuePtr &b, SValuePtr &carryOut, SValuePtr &overflowed)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
addWithCarries(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_, const BaseSemantics::SValuePtr &c_, BaseSemantics::SValuePtr &carry_out) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
and_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
boolean_(bool value)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
bottom_(size_t nbits)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
comment(const std::string &)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
concat(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
concatHiLo(const SValuePtr &highBits, const SValuePtr &lowBits)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
concatLoHi(const SValuePtr &lowBits, const SValuePtr &highBits)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
convert(const SValuePtr &a, SgAsmType *srcType, SgAsmType *dstType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
countLeadingOnes(const SValuePtr &a)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
countLeadingZeros(const SValuePtr &a)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
cpuid()	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
create(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) const override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
create(const BaseSemantics::StatePtr &, const SmtSolverPtr &solver=SmtSolverPtr()) const override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
currentInstruction() const	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
currentInstruction(SgAsmInstruction *insn)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
currentState() const	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
currentState(const StatePtr &s)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
equalToZero(const BaseSemantics::SValuePtr &a_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
extract(const BaseSemantics::SValuePtr &a_, size_t begin_bit, size_t end_bit) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
filterCallTarget(const SValuePtr &a)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
filterIndirectJumpTarget(const SValuePtr &a)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
filterReturnTarget(const SValuePtr &a)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
finishInstruction(SgAsmInstruction *insn)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpAdd(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpConvert(const SValuePtr &a, SgAsmFloatType *aType, SgAsmFloatType *retType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpDivide(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpEffectiveExponent(const SValuePtr &fpValue, SgAsmFloatType *fpType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpFromInteger(const SValuePtr &intValue, SgAsmFloatType *fpType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpIsDenormalized(const SValuePtr &fpValue, SgAsmFloatType *fpType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpIsInfinity(const SValuePtr &fpValue, SgAsmFloatType *fpType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpIsNan(const SValuePtr &fpValue, SgAsmFloatType *fpType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpIsZero(const SValuePtr &fpValue, SgAsmFloatType *fpType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpMultiply(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpRoundTowardZero(const SValuePtr &a, SgAsmFloatType *fpType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpSign(const SValuePtr &fpValue, SgAsmFloatType *fpType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpSquareRoot(const SValuePtr &a, SgAsmFloatType *fpType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpSubtract(const SValuePtr &a, const SValuePtr &b, SgAsmFloatType *fpType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
fpToInteger(const SValuePtr &fpValue, SgAsmFloatType *fpType, const SValuePtr &dflt)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
hash(Combinatorics::Hasher &)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
hlt()	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
hotPatch() const	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inline
hotPatch()	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inline
hotPatch(const HotPatch &hp)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inline
initialState() const	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
initialState(const StatePtr &s)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
instanceFromProtoval(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr())	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	static
instanceFromRegisters(const RegisterDictionaryPtr &regdict)	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	static
instanceFromState(const BaseSemantics::StatePtr &, const SmtSolverPtr &solver=SmtSolverPtr())	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	static
interrupt(int majorNumber, int minorNumber)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
interrupt(const SValuePtr &majr, const SValuePtr &minr, const SValuePtr &raise)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
invert(const BaseSemantics::SValuePtr &a_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
isEqual(const SValuePtr &a, const SValuePtr &b)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
isNoopRead() const	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
isNoopRead(bool b)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
isNotEqual(const SValuePtr &a, const SValuePtr &b)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
isSignedGreaterThan(const SValuePtr &a, const SValuePtr &b)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
isSignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
isSignedLessThan(const SValuePtr &a, const SValuePtr &b)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
isSignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
isUnsignedGreaterThan(const SValuePtr &a, const SValuePtr &b)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
isUnsignedGreaterThanOrEqual(const SValuePtr &a, const SValuePtr &b)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
isUnsignedLessThan(const SValuePtr &a, const SValuePtr &b)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
isUnsignedLessThanOrEqual(const SValuePtr &a, const SValuePtr &b)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
ite(const SValuePtr &cond, const SValuePtr &a, const SValuePtr &b) final	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
IteStatus enum name	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators
iteWithStatus(const BaseSemantics::SValuePtr &sel_, const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_, IteStatus &) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
leastSignificantSetBit(const BaseSemantics::SValuePtr &a_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
mostSignificantSetBit(const BaseSemantics::SValuePtr &a_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
name() const	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
name(const std::string &s)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
negate(const BaseSemantics::SValuePtr &a_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
nInsns() const	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
nInsns(size_t n)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
number_(size_t nbits, uint64_t value)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
operator+(Formatter &fmt)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inline
operator+(const std::string &linePrefix)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators
or_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
peekMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
peekRegister(RegisterDescriptor, const SValuePtr &dflt)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
peekRegister(RegisterDescriptor reg)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inline
print(std::ostream &stream, const std::string prefix="") const	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators
print(std::ostream &stream, Formatter &fmt) const	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
promote(const RiscOperatorsPtr &x) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinestatic
protoval() const	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
Ptr typedef	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators
raiseInterrupt(unsigned majorNumber, unsigned minorNumber, const SValuePtr &raise)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
rdtsc()	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
readMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &dflt, const BaseSemantics::SValuePtr &cond) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
readRegister(RegisterDescriptor reg)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
readRegister(RegisterDescriptor reg, const SValuePtr &dflt)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
reinterpret(const SValuePtr &a, SgAsmType *retType)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
reverseElmts(const SValuePtr &a, size_t elmtNBits)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
RiscOperators(const BaseSemantics::SValuePtr &protoval, const SmtSolverPtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators)	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	explicitprotected
RiscOperators(const BaseSemantics::StatePtr &, const SmtSolverPtr &) (defined in Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators)	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	explicitprotected
RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	protected
rotateLeft(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
rotateRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
shiftLeft(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
shiftRight(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
shiftRightArithmetic(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &sa_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
signedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
signedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
signedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
signExtend(const BaseSemantics::SValuePtr &a_, size_t new_width) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
solver() const	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
solver(const SmtSolverPtr &s)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inlinevirtual
split(const SValuePtr &a, size_t splitPoint)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
startInstruction(SgAsmInstruction *insn)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
subtract(const SValuePtr &minuend, const SValuePtr &subtrahend)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
subtractCarry(const SValuePtr &minuend, const SValuePtr &subtrahend, SValuePtr &carryOut, SValuePtr &overflowed)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
Super typedef	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators
undefined_(size_t nbits)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
unsignedDivide(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
unsignedExtend(const SValuePtr &a, size_t new_width)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
unsignedModulo(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
unsignedMultiply(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
unspecified_(size_t nbits)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
with_format(Formatter &fmt)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	inline
writeMemory(RegisterDescriptor segreg, const BaseSemantics::SValuePtr &addr, const BaseSemantics::SValuePtr &data, const BaseSemantics::SValuePtr &cond) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
writeRegister(RegisterDescriptor reg, const SValuePtr &a)	Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperators	virtual
xor_(const BaseSemantics::SValuePtr &a_, const BaseSemantics::SValuePtr &b_) override	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual
~RiscOperators() (defined in Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators)	Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperators	virtual