VirtualMachineSemantics Namespace Reference

---

Detailed Description

A policy for x86InstructionSemantics.

This policy can be used to emulate the execution of a single basic block of instructions. It is similar in nature to the FindConstantsPolicy except much simpler, much faster, and much more memory-lean. The main classes are:

• Policy: the policy class used to instantiate X86InstructionSemantic instances.
• State: represents the state of the virtual machine, its registers and memory.
• ValueType: the values stored in registers and memory and used for memory addresses.

Each value is either a known value or an unknown value. An unknown value consists of a base name and offset and whether the value is negated.

Classes
struct	ValueType
	A value is either known or unknown. More...
struct	MemoryCell
	Represents one location in memory. More...
struct	State
	Represents the entire state of the machine. More...
class	Policy
	A policy that is supplied to the semantic analysis constructor. More...
Typedefs
typedef std::map< uint64_t, uint64_t >	RenameMap
Functions
template<size_t Len>
std::ostream &	operator<< (std::ostream &o, const ValueType< Len > &e)
Variables
uint64_t	name_counter

---

Typedef Documentation

typedef std::map<uint64_t, uint64_t> VirtualMachineSemantics::RenameMap

---

Function Documentation

template<size_t Len>

std::ostream& VirtualMachineSemantics::operator<<	(	std::ostream &	o,
		const ValueType< Len > &	e
	)

---

Variable Documentation

uint64_t VirtualMachineSemantics::name_counter

---