ROSE
0.11.131.0
|
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 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.