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

Typedef Documentation

SValue

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

Semantic value in the partitioner.

Definition at line 28 of file Semantics.h.

SValuePtr

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

Reference counting pointer to semantic value.

Definition at line 31 of file Semantics.h.

RegisterState

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

Register state for the partitioner.

Definition at line 34 of file Semantics.h.

RegisterStatePtr

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

Reference counting pointer to register state.

Definition at line 37 of file Semantics.h.

State

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.

StatePtr

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

Reference counting pointer to total state.

Definition at line 43 of file Semantics.h.

MemoryListState

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

Memory state using a chronological list of cells.

Definition at line 191 of file Semantics.h.

MemoryMapState

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

Memory state indexed by hash of address expressions.

Definition at line 194 of file Semantics.h.

MemoryListStatePtr

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

Shared-ownership pointer to a MemoryListState.

See Shared ownership.

Definition at line 197 of file Semantics.h.

MemoryMapStatePtr

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

Shared-ownership pointer to a MemoryMapState.

See Shared ownership.

Definition at line 200 of file Semantics.h.

RiscOperatorsPtr

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 207 of file Semantics.h.