Rose::BinaryAnalysis::InstructionSemantics::NativeSemantics Namespace Reference

Description

Domain related to an actual running process.

Classes
class	Dispatcher
class	MemoryState
	Collection of memory address/value pairs. More...
class	RegisterState
	Collection of registers. More...
class	RiscOperators
class	State
	Machine state. More...

Typedefs
typedef ConcreteSemantics::SValue	SValue
	Concrete values from the specimen. More...
typedef ConcreteSemantics::SValuePtr	SValuePtr
	Shared-ownership pointer to ConcreteSemantics::SValue. More...
typedef ConcreteSemantics::Formatter	Formatter
	Formatter for printing values. More...
typedef boost::shared_ptr< class RegisterState >	RegisterStatePtr
	Shared-ownership pointer. More...
typedef boost::shared_ptr< class MemoryState >	MemoryStatePtr
	Shared-ownership pointer. More...
typedef boost::shared_ptr< class State >	StatePtr
	Shared-ownership pointer. More...
typedef boost::shared_ptr< class RiscOperators >	RiscOperatorsPtr
	Shared-ownership pointer. More...
typedef boost::shared_ptr< class Dispatcher >	DispatcherPtr
	Shared-ownership pointer. More...

Typedef Documentation

typedef ConcreteSemantics::SValue Rose::BinaryAnalysis::InstructionSemantics::NativeSemantics::SValue

Concrete values from the specimen.

Definition at line 25 of file NativeSemantics.h.

typedef ConcreteSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics::NativeSemantics::SValuePtr

Shared-ownership pointer to ConcreteSemantics::SValue.

Definition at line 28 of file NativeSemantics.h.

typedef ConcreteSemantics::Formatter Rose::BinaryAnalysis::InstructionSemantics::NativeSemantics::Formatter

Formatter for printing values.

Definition at line 31 of file NativeSemantics.h.

typedef boost::shared_ptr<class RegisterState> Rose::BinaryAnalysis::InstructionSemantics::NativeSemantics::RegisterStatePtr

Shared-ownership pointer.

Definition at line 38 of file NativeSemantics.h.

typedef boost::shared_ptr<class MemoryState> Rose::BinaryAnalysis::InstructionSemantics::NativeSemantics::MemoryStatePtr

Shared-ownership pointer.

Definition at line 131 of file NativeSemantics.h.

typedef boost::shared_ptr<class State> Rose::BinaryAnalysis::InstructionSemantics::NativeSemantics::StatePtr

Shared-ownership pointer.

Definition at line 232 of file NativeSemantics.h.

typedef boost::shared_ptr<class RiscOperators> Rose::BinaryAnalysis::InstructionSemantics::NativeSemantics::RiscOperatorsPtr

Shared-ownership pointer.

Definition at line 270 of file NativeSemantics.h.

typedef boost::shared_ptr<class Dispatcher> Rose::BinaryAnalysis::InstructionSemantics::NativeSemantics::DispatcherPtr

Shared-ownership pointer.

Definition at line 339 of file NativeSemantics.h.