Rose::BinaryAnalysis::InstructionSemantics::IntervalSemantics Namespace Reference

Description

An interval analysis semantic domain.

Classes
class	MemoryState
	Byte-addressable memory. More...
class	RiscOperators
	RISC operators for interval domains. More...
class	SValue
	Type of values manipulated by the IntervalSemantics domain. More...

Typedefs
typedef Sawyer::Container::Interval< uint64_t >	Interval
typedef Sawyer::Container::IntervalSet< Interval >	Intervals
	Set of intervals. More...
typedef Sawyer::SharedPointer< class SValue >	SValuePtr
	Shared-ownership pointer to an interval semantic value. More...
typedef BaseSemantics::RegisterStateGeneric	RegisterState
typedef BaseSemantics::RegisterStateGenericPtr	RegisterStateGenericPtr
typedef boost::shared_ptr< class MemoryState >	MemoryStatePtr
	Shared-ownership pointer to an interval memory state. More...
typedef BaseSemantics::State	State
typedef BaseSemantics::StatePtr	StatePtr
typedef boost::shared_ptr< class RiscOperators >	RiscOperatorsPtr
	Shared-ownership pointer to interval RISC operations. More...

Typedef Documentation

typedef Sawyer::Container::IntervalSet<Interval> Rose::BinaryAnalysis::InstructionSemantics::IntervalSemantics::Intervals

Set of intervals.

Definition at line 29 of file IntervalSemantics.h.

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

Shared-ownership pointer to an interval semantic value.

Definition at line 36 of file IntervalSemantics.h.

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

Shared-ownership pointer to an interval memory state.

Definition at line 250 of file IntervalSemantics.h.

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

Shared-ownership pointer to interval RISC operations.

Definition at line 350 of file IntervalSemantics.h.