Description

A fast, partially symbolic semantic domain.

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

SValue: the values stored in registers and memory and used for memory addresses.
State: represents the state of the virtual machine, its registers and memory.
RiscOperators: the low-level operators called by instruction dispatchers (e.g., DispatcherX86).

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
class	Formatter
	Formatter that renames variables on the fly. More...

class	RiscOperators
	Defines RISC operators for this semantic domain. More...

class	State
	Represents the entire state of the machine. More...

class	SValue
	Type of values manipulated by the PartialSymbolicSemantics domain. More...

Typedefs
typedef Sawyer::SharedPointer< class SValue >	SValuePtr
	Shared-ownership pointer to a partial-symbolic semantic value.

typedef BaseSemantics::RegisterStateGeneric	RegisterState

typedef BaseSemantics::RegisterStateGenericPtr	RegisterStatePtr

typedef BaseSemantics::MemoryCellList	MemoryState

typedef BaseSemantics::MemoryCellListPtr	MemoryStatePtr

typedef boost::shared_ptr< class State >	StatePtr
	Shared-ownership pointer to partial symbolic semantics state.

typedef boost::shared_ptr< class RiscOperators >	RiscOperatorsPtr
	Shared-ownership pointer to partial symbolic semantics RISC operations.