ROSE 0.11.145.267
|
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... | |
using Rose::BinaryAnalysis::Partitioner2::Semantics::SValue = typedef InstructionSemantics::SymbolicSemantics::SValue |
Semantic value in the partitioner.
Definition at line 30 of file Semantics.h.
using Rose::BinaryAnalysis::Partitioner2::Semantics::SValuePtr = typedef InstructionSemantics::SymbolicSemantics::SValuePtr |
Reference counting pointer to semantic value.
Definition at line 33 of file Semantics.h.
using Rose::BinaryAnalysis::Partitioner2::Semantics::RegisterState = typedef InstructionSemantics::BaseSemantics::RegisterStateGeneric |
Register state for the partitioner.
Definition at line 36 of file Semantics.h.
using Rose::BinaryAnalysis::Partitioner2::Semantics::RegisterStatePtr = typedef InstructionSemantics::BaseSemantics::RegisterStateGenericPtr |
Reference counting pointer to register state.
Definition at line 39 of file Semantics.h.
using Rose::BinaryAnalysis::Partitioner2::Semantics::State = typedef InstructionSemantics::BaseSemantics::State |
Total state (registers and memory) for the partitioner.
Definition at line 42 of file Semantics.h.
using Rose::BinaryAnalysis::Partitioner2::Semantics::StatePtr = typedef InstructionSemantics::BaseSemantics::StatePtr |
Reference counting pointer to total state.
Definition at line 45 of file Semantics.h.
using Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryListState = typedef MemoryState<InstructionSemantics::SymbolicSemantics::MemoryListState> |
Memory state using a chronological list of cells.
Definition at line 193 of file Semantics.h.
using Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryMapState = typedef MemoryState<InstructionSemantics::SymbolicSemantics::MemoryMapState> |
Memory state indexed by hash of address expressions.
Definition at line 196 of file Semantics.h.
using Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryListStatePtr = typedef boost::shared_ptr<MemoryListState> |
Shared-ownership pointer to a MemoryListState.
See Shared ownership.
Definition at line 199 of file Semantics.h.
using Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryMapStatePtr = typedef boost::shared_ptr<MemoryMapState> |
Shared-ownership pointer to a MemoryMapState.
See Shared ownership.
Definition at line 202 of file Semantics.h.
using Rose::BinaryAnalysis::Partitioner2::Semantics::RiscOperatorsPtr = typedef boost::shared_ptr<class RiscOperators> |
Shared-ownership pointer to the RISC operators object.
See Shared ownership.
Definition at line 209 of file Semantics.h.