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

Typedef Documentation

SValuePtr

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

Shared-ownership pointer.

Definition at line 25 of file NullSemantics.h.

RegisterStatePtr

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

Shared-ownership pointer.

Definition at line 108 of file NullSemantics.h.

MemoryStatePtr

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

Shared-ownership pointer.

Definition at line 156 of file NullSemantics.h.

State

using Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::State = typedef BaseSemantics::State

Definition at line 216 of file NullSemantics.h.

StatePtr

using Rose::BinaryAnalysis::InstructionSemantics::NullSemantics::StatePtr = typedef BaseSemantics::StatePtr

Definition at line 217 of file NullSemantics.h.

RiscOperatorsPtr

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

Shared-ownership pointer.

Definition at line 225 of file NullSemantics.h.