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 SValue >	SValuePtr
	Shared-ownership pointer. More...
typedef boost::shared_ptr< class RegisterState >	RegisterStatePtr
	Shared-ownership pointer. More...
typedef boost::shared_ptr< class MemoryState >	MemoryStatePtr
	Shared-ownership pointer. More...
typedef BaseSemantics::State	State
typedef BaseSemantics::StatePtr	StatePtr
typedef boost::shared_ptr< class RiscOperators >	RiscOperatorsPtr
	Shared-ownership pointer. More...

Typedef Documentation

typedef Sawyer::SharedPointer<class SValue> Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::SValuePtr

Shared-ownership pointer.

Definition at line 25 of file NullSemantics.h.

typedef boost::shared_ptr<class RegisterState> Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RegisterStatePtr

Shared-ownership pointer.

Definition at line 150 of file NullSemantics.h.

typedef boost::shared_ptr<class MemoryState> Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::MemoryStatePtr

Shared-ownership pointer.

Definition at line 223 of file NullSemantics.h.

typedef boost::shared_ptr<class RiscOperators> Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::RiscOperatorsPtr

Shared-ownership pointer.

Definition at line 309 of file NullSemantics.h.