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.
typedef Sawyer::SharedPointer< class SValue >	SValuePtr
	Shared-ownership pointer to an interval semantic value.
typedef BaseSemantics::RegisterStateGeneric	RegisterState
typedef BaseSemantics::RegisterStateGenericPtr	RegisterStateGenericPtr
typedef boost::shared_ptr< class MemoryState >	MemoryStatePtr
	Shared-ownership pointer to an interval memory state.
typedef BaseSemantics::State	State
typedef BaseSemantics::StatePtr	StatePtr
typedef boost::shared_ptr< class RiscOperators >	RiscOperatorsPtr
	Shared-ownership pointer to interval RISC operations.

Typedef Documentation

Interval

typedef Sawyer::Container::Interval<uint64_t> Rose::BinaryAnalysis::InstructionSemantics::IntervalSemantics::Interval

Definition at line 20 of file IntervalSemantics.h.

Intervals

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

Set of intervals.

Definition at line 23 of file IntervalSemantics.h.

SValuePtr

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

Shared-ownership pointer to an interval semantic value.

Definition at line 30 of file IntervalSemantics.h.

RegisterState

typedef BaseSemantics::RegisterStateGeneric Rose::BinaryAnalysis::InstructionSemantics::IntervalSemantics::RegisterState

Definition at line 160 of file IntervalSemantics.h.

RegisterStateGenericPtr

typedef BaseSemantics::RegisterStateGenericPtr Rose::BinaryAnalysis::InstructionSemantics::IntervalSemantics::RegisterStateGenericPtr

Definition at line 161 of file IntervalSemantics.h.

MemoryStatePtr

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

Shared-ownership pointer to an interval memory state.

Definition at line 169 of file IntervalSemantics.h.

State

typedef BaseSemantics::State Rose::BinaryAnalysis::InstructionSemantics::IntervalSemantics::State

Definition at line 243 of file IntervalSemantics.h.

StatePtr

typedef BaseSemantics::StatePtr Rose::BinaryAnalysis::InstructionSemantics::IntervalSemantics::StatePtr

Definition at line 244 of file IntervalSemantics.h.

RiscOperatorsPtr

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

Shared-ownership pointer to interval RISC operations.

Definition at line 252 of file IntervalSemantics.h.