Rose::BinaryAnalysis::Partitioner2::Semantics Namespace Reference

Description

Instruction semantics for the partitioner.

The partitioner semantic domain is closely related to the basic symbolic domain and its classes inherit from the semantic domain. The main difference is that the partitioner's domain also takes into account the concrete memory of the specimen; e.g., the MemoryMap that was initialized by loading the specimen into virtual memory.

Classes
class	MemoryState
	Memory state. More...
class	RiscOperators
	Semantic operators. More...

Typedefs
typedef InstructionSemantics::SymbolicSemantics::SValue	SValue
	Semantic value in the partitioner. More...
typedef InstructionSemantics::SymbolicSemantics::SValuePtr	SValuePtr
	Reference counting pointer to semantic value. More...
typedef InstructionSemantics::BaseSemantics::RegisterStateGeneric	RegisterState
	Register state for the partitioner. More...
typedef InstructionSemantics::BaseSemantics::RegisterStateGenericPtr	RegisterStatePtr
	Reference counting pointer to register state. More...
typedef InstructionSemantics::BaseSemantics::State	State
	Total state (registers and memory) for the partitioner. More...
typedef InstructionSemantics::BaseSemantics::StatePtr	StatePtr
	Reference counting pointer to total state. More...
typedef MemoryState< InstructionSemantics::SymbolicSemantics::MemoryListState >	MemoryListState
	Memory state using a chronological list of cells. More...
typedef MemoryState< InstructionSemantics::SymbolicSemantics::MemoryMapState >	MemoryMapState
	Memory state indexed by hash of address expressions. More...
typedef boost::shared_ptr< MemoryListState >	MemoryListStatePtr
	Shared-ownership pointer to a MemoryListState. More...
typedef boost::shared_ptr< MemoryMapState >	MemoryMapStatePtr
	Shared-ownership pointer to a MemoryMapState. More...
typedef boost::shared_ptr< class RiscOperators >	RiscOperatorsPtr
	Shared-ownership pointer to the RISC operators object. More...

Typedef Documentation

typedef InstructionSemantics::SymbolicSemantics::SValue Rose::BinaryAnalysis::Partitioner2::Semantics::SValue

Semantic value in the partitioner.

Definition at line 28 of file Semantics.h.

typedef InstructionSemantics::SymbolicSemantics::SValuePtr Rose::BinaryAnalysis::Partitioner2::Semantics::SValuePtr

Reference counting pointer to semantic value.

Definition at line 31 of file Semantics.h.

typedef InstructionSemantics::BaseSemantics::RegisterStateGeneric Rose::BinaryAnalysis::Partitioner2::Semantics::RegisterState

Register state for the partitioner.

Definition at line 34 of file Semantics.h.

typedef InstructionSemantics::BaseSemantics::RegisterStateGenericPtr Rose::BinaryAnalysis::Partitioner2::Semantics::RegisterStatePtr

Reference counting pointer to register state.

Definition at line 37 of file Semantics.h.

typedef InstructionSemantics::BaseSemantics::State Rose::BinaryAnalysis::Partitioner2::Semantics::State

Total state (registers and memory) for the partitioner.

Definition at line 40 of file Semantics.h.

typedef InstructionSemantics::BaseSemantics::StatePtr Rose::BinaryAnalysis::Partitioner2::Semantics::StatePtr

Reference counting pointer to total state.

Definition at line 43 of file Semantics.h.

typedef MemoryState<InstructionSemantics::SymbolicSemantics::MemoryListState> Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryListState

Memory state using a chronological list of cells.

Definition at line 198 of file Semantics.h.

typedef MemoryState<InstructionSemantics::SymbolicSemantics::MemoryMapState> Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryMapState

Memory state indexed by hash of address expressions.

Definition at line 201 of file Semantics.h.

typedef boost::shared_ptr<MemoryListState> Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryListStatePtr

Shared-ownership pointer to a MemoryListState.

See Shared ownership.

Definition at line 204 of file Semantics.h.

typedef boost::shared_ptr<MemoryMapState> Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryMapStatePtr

Shared-ownership pointer to a MemoryMapState.

See Shared ownership.

Definition at line 207 of file Semantics.h.

typedef boost::shared_ptr<class RiscOperators> Rose::BinaryAnalysis::Partitioner2::Semantics::RiscOperatorsPtr

Shared-ownership pointer to the RISC operators object.

See Shared ownership.

Definition at line 214 of file Semantics.h.