Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics Namespace Reference

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. More...
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. More...
typedef boost::shared_ptr< class RiscOperators >	RiscOperatorsPtr
	Shared-ownership pointer to partial symbolic semantics RISC operations. More...

Typedef Documentation

typedef Sawyer::SharedPointer<class SValue> Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics::SValuePtr

Shared-ownership pointer to a partial-symbolic semantic value.

See Shared ownership.

Definition at line 66 of file PartialSymbolicSemantics.h.

typedef boost::shared_ptr<class State> Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics::StatePtr

Shared-ownership pointer to partial symbolic semantics state.

See Shared ownership.

Definition at line 251 of file PartialSymbolicSemantics.h.

typedef boost::shared_ptr<class RiscOperators> Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics::RiscOperatorsPtr

Shared-ownership pointer to partial symbolic semantics RISC operations.

See Shared ownership.

Definition at line 340 of file PartialSymbolicSemantics.h.