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