ROSE  0.11.109.0
Classes | Typedefs
Rose::BinaryAnalysis::InstructionSemantics::NullSemantics Namespace Reference

Description

Semantic domain that does nothing, but is well documented.

This semantic domain is useful for testing, as a no-op in a multi-policy, as documentation for the instruction semantics API (the RISC operations), or for debugging.

Classes

class  MemoryState
 Null memory. More...
 
class  RegisterState
 Null register state. More...
 
class  RiscOperators
 NullSemantics operators always return a new undefined value. More...
 
class  SValue
 Values in the NullSemantics domain. More...
 

Typedefs

typedef Sawyer::SharedPointer< class SValueSValuePtr
 Shared-ownership pointer. More...
 
typedef boost::shared_ptr< class RegisterStateRegisterStatePtr
 Shared-ownership pointer. More...
 
typedef boost::shared_ptr< class MemoryStateMemoryStatePtr
 Shared-ownership pointer. More...
 
typedef BaseSemantics::State State
 
typedef BaseSemantics::StatePtr StatePtr
 
typedef boost::shared_ptr< class RiscOperatorsRiscOperatorsPtr
 Shared-ownership pointer. More...
 

Typedef Documentation

Shared-ownership pointer.

Definition at line 25 of file NullSemantics.h.

Shared-ownership pointer.

Definition at line 150 of file NullSemantics.h.

Shared-ownership pointer.

Definition at line 220 of file NullSemantics.h.

Shared-ownership pointer.

Definition at line 306 of file NullSemantics.h.