ROSE  0.11.87.0
Classes | Typedefs
Rose::BinaryAnalysis::InstructionSemantics2::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 to a null semantic value. More...
 
typedef boost::shared_ptr< class RegisterStateRegisterStatePtr
 Shared-ownership pointer to null register state. More...
 
typedef boost::shared_ptr< class MemoryStateMemoryStatePtr
 Shared-ownership pointer to null register state. More...
 
typedef BaseSemantics::State State
 
typedef BaseSemantics::StatePtr StatePtr
 
typedef boost::shared_ptr< class RiscOperatorsRiscOperatorsPtr
 Shared-ownership pointer to null RISC operations. More...
 

Typedef Documentation

Shared-ownership pointer to a null semantic value.

See Shared ownership.

Definition at line 24 of file NullSemantics.h.

Shared-ownership pointer to null register state.

See Shared ownership.

Definition at line 152 of file NullSemantics.h.

Shared-ownership pointer to null register state.

See Shared ownership.

Definition at line 225 of file NullSemantics.h.

Shared-ownership pointer to null RISC operations.

See Shared ownership.

Definition at line 310 of file NullSemantics.h.