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
using	SValue = InstructionSemantics::SymbolicSemantics::SValue
	Semantic value in the partitioner.
using	SValuePtr = InstructionSemantics::SymbolicSemantics::SValuePtr
	Reference counting pointer to semantic value.
using	RegisterState = InstructionSemantics::BaseSemantics::RegisterStateGeneric
	Register state for the partitioner.
using	RegisterStatePtr = InstructionSemantics::BaseSemantics::RegisterStateGenericPtr
	Reference counting pointer to register state.
using	State = InstructionSemantics::BaseSemantics::State
	Total state (registers and memory) for the partitioner.
using	StatePtr = InstructionSemantics::BaseSemantics::StatePtr
	Reference counting pointer to total state.
using	MemoryListState = MemoryState< InstructionSemantics::SymbolicSemantics::MemoryListState >
	Memory state using a chronological list of cells.
using	MemoryMapState = MemoryState< InstructionSemantics::SymbolicSemantics::MemoryMapState >
	Memory state indexed by hash of address expressions.
using	MemoryListStatePtr = boost::shared_ptr< MemoryListState >
	Shared-ownership pointer to a MemoryListState.
using	MemoryMapStatePtr = boost::shared_ptr< MemoryMapState >
	Shared-ownership pointer to a MemoryMapState.
using	RiscOperatorsPtr = boost::shared_ptr< class RiscOperators >
	Shared-ownership pointer to the RISC operators object.

Typedef Documentation

SValue

using Rose::BinaryAnalysis::Partitioner2::Semantics::SValue = typedef InstructionSemantics::SymbolicSemantics::SValue

Semantic value in the partitioner.

Definition at line 29 of file Semantics.h.

SValuePtr

using Rose::BinaryAnalysis::Partitioner2::Semantics::SValuePtr = typedef InstructionSemantics::SymbolicSemantics::SValuePtr

Reference counting pointer to semantic value.

Definition at line 32 of file Semantics.h.

RegisterState

using Rose::BinaryAnalysis::Partitioner2::Semantics::RegisterState = typedef InstructionSemantics::BaseSemantics::RegisterStateGeneric

Register state for the partitioner.

Definition at line 35 of file Semantics.h.

RegisterStatePtr

using Rose::BinaryAnalysis::Partitioner2::Semantics::RegisterStatePtr = typedef InstructionSemantics::BaseSemantics::RegisterStateGenericPtr

Reference counting pointer to register state.

Definition at line 38 of file Semantics.h.

State

using Rose::BinaryAnalysis::Partitioner2::Semantics::State = typedef InstructionSemantics::BaseSemantics::State

Total state (registers and memory) for the partitioner.

Definition at line 41 of file Semantics.h.

StatePtr

using Rose::BinaryAnalysis::Partitioner2::Semantics::StatePtr = typedef InstructionSemantics::BaseSemantics::StatePtr

Reference counting pointer to total state.

Definition at line 44 of file Semantics.h.

MemoryListState

using Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryListState = typedef MemoryState<InstructionSemantics::SymbolicSemantics::MemoryListState>

Memory state using a chronological list of cells.

Definition at line 192 of file Semantics.h.

MemoryMapState

using Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryMapState = typedef MemoryState<InstructionSemantics::SymbolicSemantics::MemoryMapState>

Memory state indexed by hash of address expressions.

Definition at line 195 of file Semantics.h.

MemoryListStatePtr

using Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryListStatePtr = typedef boost::shared_ptr<MemoryListState>

Shared-ownership pointer to a MemoryListState.

See Shared ownership.

Definition at line 198 of file Semantics.h.

MemoryMapStatePtr

using Rose::BinaryAnalysis::Partitioner2::Semantics::MemoryMapStatePtr = typedef boost::shared_ptr<MemoryMapState>

Shared-ownership pointer to a MemoryMapState.

See Shared ownership.

Definition at line 201 of file Semantics.h.

RiscOperatorsPtr

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 208 of file Semantics.h.