ROSE  0.9.9.139
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 22 of file NullSemantics2.h.

Shared-ownership pointer to null register state.

See Shared ownership.

Definition at line 128 of file NullSemantics2.h.

Shared-ownership pointer to null register state.

See Shared ownership.

Definition at line 186 of file NullSemantics2.h.

Shared-ownership pointer to null RISC operations.

See Shared ownership.

Definition at line 255 of file NullSemantics2.h.