ROSE  0.11.145.0
Classes | Typedefs
Rose::BinaryAnalysis::Partitioner2::Semantics Namespace Reference

Description

Instruction semantics for the partitioner.

The partitioner semantic domain is closely related to the basic symbolic domain and its classes inherit from the semantic domain. The main difference is that the partitioner's domain also takes into account the concrete memory of the specimen; e.g., the MemoryMap that was initialized by loading the specimen into virtual memory.

Classes

class  MemoryState
 Memory state. More...
 
class  RiscOperators
 Semantic operators. More...
 

Typedefs

typedef InstructionSemantics::SymbolicSemantics::SValue SValue
 Semantic value in the partitioner. More...
 
typedef InstructionSemantics::SymbolicSemantics::SValuePtr SValuePtr
 Reference counting pointer to semantic value. More...
 
typedef InstructionSemantics::BaseSemantics::RegisterStateGeneric RegisterState
 Register state for the partitioner. More...
 
typedef InstructionSemantics::BaseSemantics::RegisterStateGenericPtr RegisterStatePtr
 Reference counting pointer to register state. More...
 
typedef InstructionSemantics::BaseSemantics::State State
 Total state (registers and memory) for the partitioner. More...
 
typedef InstructionSemantics::BaseSemantics::StatePtr StatePtr
 Reference counting pointer to total state. More...
 
typedef MemoryState< InstructionSemantics::SymbolicSemantics::MemoryListStateMemoryListState
 Memory state using a chronological list of cells. More...
 
typedef MemoryState< InstructionSemantics::SymbolicSemantics::MemoryMapStateMemoryMapState
 Memory state indexed by hash of address expressions. More...
 
typedef boost::shared_ptr< MemoryListStateMemoryListStatePtr
 Shared-ownership pointer to a MemoryListState. More...
 
typedef boost::shared_ptr< MemoryMapStateMemoryMapStatePtr
 Shared-ownership pointer to a MemoryMapState. More...
 
typedef boost::shared_ptr< class RiscOperatorsRiscOperatorsPtr
 Shared-ownership pointer to the RISC operators object. More...
 

Typedef Documentation

Semantic value in the partitioner.

Definition at line 28 of file Semantics.h.

Reference counting pointer to semantic value.

Definition at line 31 of file Semantics.h.

Register state for the partitioner.

Definition at line 34 of file Semantics.h.

Reference counting pointer to register state.

Definition at line 37 of file Semantics.h.

Total state (registers and memory) for the partitioner.

Definition at line 40 of file Semantics.h.

Reference counting pointer to total state.

Definition at line 43 of file Semantics.h.

Memory state using a chronological list of cells.

Definition at line 198 of file Semantics.h.

Memory state indexed by hash of address expressions.

Definition at line 201 of file Semantics.h.

Shared-ownership pointer to a MemoryListState.

See Shared ownership.

Definition at line 204 of file Semantics.h.

Shared-ownership pointer to a MemoryMapState.

See Shared ownership.

Definition at line 207 of file Semantics.h.

Shared-ownership pointer to the RISC operators object.

See Shared ownership.

Definition at line 214 of file Semantics.h.