SymbolicSemantics::Policy< State, ValueType > Member List

This is the complete list of members for SymbolicSemantics::Policy< State, ValueType >, including all inherited members.

add(const ValueType< Len > &a, const ValueType< Len > &b) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
addWithCarries(const ValueType< Len > &a, const ValueType< Len > &b, const ValueType< 1 > &c, ValueType< Len > &carry_out) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
and_(const ValueType< Len > &a, const ValueType< Len > &b) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
concat(const ValueType< Len1 > &a, const ValueType< Len2 > &b) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
cpuid()	SymbolicSemantics::Policy< State, ValueType >	[inline]
cur_insn	SymbolicSemantics::Policy< State, ValueType >	[protected]
cur_state	SymbolicSemantics::Policy< State, ValueType >	[mutable, protected]
equal_states(const State< ValueType > &, const State< ValueType > &) const	SymbolicSemantics::Policy< State, ValueType >
equalToZero(const ValueType< Len > &a) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
extract(const ValueType< Len > &a) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
false_() const	SymbolicSemantics::Policy< State, ValueType >	[inline]
filterCallTarget(const ValueType< 32 > &a) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
filterIndirectJumpTarget(const ValueType< 32 > &a) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
filterReturnTarget(const ValueType< 32 > &a) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
findRegister(const std::string &regname, size_t nbits=0)	SymbolicSemantics::Policy< State, ValueType >	[inline]
finishInstruction(SgAsmInstruction *)	SymbolicSemantics::Policy< State, ValueType >	[inline]
get_discard_popped_memory() const	SymbolicSemantics::Policy< State, ValueType >	[inline]
get_ip() const	SymbolicSemantics::Policy< State, ValueType >	[inline]
get_orig_ip() const	SymbolicSemantics::Policy< State, ValueType >	[inline]
get_orig_state() const	SymbolicSemantics::Policy< State, ValueType >	[inline]
get_orig_state()	SymbolicSemantics::Policy< State, ValueType >	[inline]
get_register_dictionary() const	SymbolicSemantics::Policy< State, ValueType >	[inline]
get_solver() const	SymbolicSemantics::Policy< State, ValueType >	[inline]
get_state() const	SymbolicSemantics::Policy< State, ValueType >	[inline]
get_state()	SymbolicSemantics::Policy< State, ValueType >	[inline]
hlt()	SymbolicSemantics::Policy< State, ValueType >	[inline]
init()	SymbolicSemantics::Policy< State, ValueType >	[inline]
interrupt(uint8_t num)	SymbolicSemantics::Policy< State, ValueType >	[inline]
invert(const ValueType< Len > &a) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
ite(const ValueType< 1 > &sel, const ValueType< Len > &ifTrue, const ValueType< Len > &ifFalse) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
leastSignificantSetBit(const ValueType< Len > &a) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
mem_read(State< ValueType > &state, const ValueType< 32 > &addr, const ValueType< Len > &dflt) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
mem_write(State< ValueType > &state, const ValueType< 32 > &addr, const ValueType< Len > &data)	SymbolicSemantics::Policy< State, ValueType >	[inline]
Memory typedef	SymbolicSemantics::Policy< State, ValueType >	[protected]
memory_for_equality(const State< ValueType > &) const	SymbolicSemantics::Policy< State, ValueType >
memory_for_equality() const	SymbolicSemantics::Policy< State, ValueType >	[inline]
memory_reference_type(const State< ValueType > &state, const ValueType< 32 > &addr) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
MemRefType enum name	SymbolicSemantics::Policy< State, ValueType >
mostSignificantSetBit(const ValueType< Len > &a) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
MRT_FRAME_PTR enum value	SymbolicSemantics::Policy< State, ValueType >
MRT_OTHER_PTR enum value	SymbolicSemantics::Policy< State, ValueType >
MRT_STACK_PTR enum value	SymbolicSemantics::Policy< State, ValueType >
negate(const ValueType< Len > &a) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
ninsns	SymbolicSemantics::Policy< State, ValueType >	[protected]
number(uint64_t n) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
on_stack(const ValueType< 32 > &value) const	SymbolicSemantics::Policy< State, ValueType >
operator<<(std::ostream &o, const Policy &p)	SymbolicSemantics::Policy< State, ValueType >	[friend]
or_(const ValueType< Len > &a, const ValueType< Len > &b) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
orig_state	SymbolicSemantics::Policy< State, ValueType >	[mutable, protected]
p_discard_popped_memory	SymbolicSemantics::Policy< State, ValueType >	[protected]
Policy()	SymbolicSemantics::Policy< State, ValueType >	[inline]
Policy(SMTSolver *solver)	SymbolicSemantics::Policy< State, ValueType >	[inline]
print(std::ostream &o, RenameMap *rmap=NULL) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
print_diff(std::ostream &, const State< ValueType > &, const State< ValueType > &, RenameMap *rmap=NULL) const	SymbolicSemantics::Policy< State, ValueType >
print_diff(std::ostream &o, const State< ValueType > &state, RenameMap *rmap=NULL) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
print_diff(std::ostream &o, RenameMap *rmap=NULL) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
rdtsc()	SymbolicSemantics::Policy< State, ValueType >	[inline]
readMemory(X86SegmentRegister segreg, const ValueType< 32 > &addr, const ValueType< 1 > &cond) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
readRegister(const char *regname)	SymbolicSemantics::Policy< State, ValueType >	[inline]
readRegister(const RegisterDescriptor &reg)	SymbolicSemantics::Policy< State, ValueType >	[inline]
regdict	SymbolicSemantics::Policy< State, ValueType >	[protected]
rotateLeft(const ValueType< Len > &a, const ValueType< SALen > &sa) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
rotateRight(const ValueType< Len > &a, const ValueType< SALen > &sa) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
set_discard_popped_memory(bool b)	SymbolicSemantics::Policy< State, ValueType >	[inline]
set_register_dictionary(const RegisterDictionary *regdict)	SymbolicSemantics::Policy< State, ValueType >	[inline]
set_solver(SMTSolver *s)	SymbolicSemantics::Policy< State, ValueType >	[inline]
SHA1() const	SymbolicSemantics::Policy< State, ValueType >
shiftLeft(const ValueType< Len > &a, const ValueType< SALen > &sa) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
shiftRight(const ValueType< Len > &a, const ValueType< SALen > &sa) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
shiftRightArithmetic(const ValueType< Len > &a, const ValueType< SALen > &sa) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
signedDivide(const ValueType< Len1 > &a, const ValueType< Len2 > &b) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
signedExtend(const ValueType< FromLen > &a) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
signedModulo(const ValueType< Len1 > &a, const ValueType< Len2 > &b) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
signedMultiply(const ValueType< Len1 > &a, const ValueType< Len2 > &b) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
signExtend(const ValueType< From > &a)	SymbolicSemantics::Policy< State, ValueType >	[inline]
solver	SymbolicSemantics::Policy< State, ValueType >	[protected]
startInstruction(SgAsmInstruction *insn)	SymbolicSemantics::Policy< State, ValueType >	[inline]
sysenter()	SymbolicSemantics::Policy< State, ValueType >	[inline]
true_() const	SymbolicSemantics::Policy< State, ValueType >	[inline]
undefined_() const	SymbolicSemantics::Policy< State, ValueType >	[inline]
unsignedDivide(const ValueType< Len1 > &a, const ValueType< Len2 > &b) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
unsignedExtend(const ValueType< FromLen > &a) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
unsignedModulo(const ValueType< Len1 > &a, const ValueType< Len2 > &b) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
unsignedMultiply(const ValueType< Len1 > &a, const ValueType< Len2 > &b) const	SymbolicSemantics::Policy< State, ValueType >	[inline]
writeMemory(X86SegmentRegister segreg, const ValueType< 32 > &addr, const ValueType< Len > &data, const ValueType< 1 > &cond)	SymbolicSemantics::Policy< State, ValueType >	[inline]
writeRegister(const char *regname, const ValueType< Len > &value)	SymbolicSemantics::Policy< State, ValueType >	[inline]
writeRegister(const RegisterDescriptor &reg, const ValueType< Len > &value)	SymbolicSemantics::Policy< State, ValueType >	[inline]
xor_(const ValueType< Len > &a, const ValueType< Len > &b) const	SymbolicSemantics::Policy< State, ValueType >	[inline]

---