ROSE  0.9.9.109
Classes | Typedefs
Rose::BinaryAnalysis::InstructionSemantics2::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< IntervalIntervals
 Set of intervals. More...
 
typedef Sawyer::SharedPointer< class SValueSValuePtr
 Shared-ownership pointer to an interval semantic value. More...
 
typedef BaseSemantics::RegisterStateGeneric RegisterState
 
typedef BaseSemantics::RegisterStateGenericPtr RegisterStateGenericPtr
 
typedef boost::shared_ptr< class MemoryStateMemoryStatePtr
 Shared-ownership pointer to an interval memory state. More...
 
typedef BaseSemantics::State State
 
typedef BaseSemantics::StatePtr StatePtr
 
typedef boost::shared_ptr< class RiscOperatorsRiscOperatorsPtr
 Shared-ownership pointer to interval RISC operations. More...
 

Typedef Documentation

Set of intervals.

Definition at line 27 of file IntervalSemantics2.h.

Shared-ownership pointer to an interval semantic value.

See Shared ownership.

Definition at line 34 of file IntervalSemantics2.h.

Shared-ownership pointer to an interval memory state.

See Shared ownership.

Definition at line 227 of file IntervalSemantics2.h.

Shared-ownership pointer to interval RISC operations.

See Shared ownership.

Definition at line 314 of file IntervalSemantics2.h.