ROSE  0.9.10.47
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  SValue
 Values in the NullSemantics domain. More...
 
class  RegisterState
 Null register state. More...
 
class  MemoryState
 Null memory. More...
 
class  RiscOperators
 NullSemantics operators always return a new undefined value. More...
 

Typedefs

typedef Sawyer::SharedPointer
< class SValue
SValuePtr
 Shared-ownership pointer to a null semantic value. More...
 
typedef boost::shared_ptr
< class RegisterState
RegisterStatePtr
 Shared-ownership pointer to null register state. More...
 
typedef boost::shared_ptr
< class MemoryState
MemoryStatePtr
 Shared-ownership pointer to null register state. More...
 
typedef BaseSemantics::State State
 
typedef BaseSemantics::StatePtr StatePtr
 
typedef boost::shared_ptr
< class RiscOperators
RiscOperatorsPtr
 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 130 of file NullSemantics2.h.

Shared-ownership pointer to null register state.

See Shared ownership.

Definition at line 194 of file NullSemantics2.h.

Shared-ownership pointer to null RISC operations.

See Shared ownership.

Definition at line 269 of file NullSemantics2.h.