ROSE  0.11.50.0
Classes | Typedefs
Rose::BinaryAnalysis::InstructionSemantics2::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 SValue. More...
 
typedef ConcreteSemantics::Formatter Formatter
 Formatter for printing values. More...
 
typedef boost::shared_ptr< class RegisterStateRegisterStatePtr
 Shared-ownership pointer to RegisterState. More...
 
typedef boost::shared_ptr< class MemoryStateMemoryStatePtr
 Shared-ownership pointer to MemoryState. More...
 
typedef boost::shared_ptr< class StateStatePtr
 Shared-ownership pointer to State. More...
 
typedef boost::shared_ptr< class RiscOperatorsRiscOperatorsPtr
 Shared-ownership pointer to RiscOperators. More...
 
typedef boost::shared_ptr< class DispatcherDispatcherPtr
 Shared-ownership pointer to Dispatcher. More...
 

Typedef Documentation

Concrete values from the specimen.

Definition at line 24 of file NativeSemantics.h.

Shared-ownership pointer to SValue.

See Shared ownership.

Definition at line 27 of file NativeSemantics.h.

Formatter for printing values.

Definition at line 30 of file NativeSemantics.h.

Shared-ownership pointer to RegisterState.

See Shared ownership.

Definition at line 37 of file NativeSemantics.h.

Shared-ownership pointer to MemoryState.

See Shared ownership.

Definition at line 147 of file NativeSemantics.h.

Shared-ownership pointer to State.

See Shared ownership.

Definition at line 263 of file NativeSemantics.h.

Shared-ownership pointer to RiscOperators.

See Shared ownership.

Definition at line 301 of file NativeSemantics.h.

Shared-ownership pointer to Dispatcher.

See Shared ownership.

Definition at line 383 of file NativeSemantics.h.