Description

A concrete semantic domain.

Semantics in a concrete domain, where all values are actual known bits. Since the symbolic domain does constant folding, it also can be used as a concrete domain, although using ConcreteSemantics is probably somewhat faster.

Classes
class	MemoryState
	Byte-addressable memory. More...

class	RiscOperators
	Defines RISC operators for the ConcreteSemantics domain. More...

class	SValue
	Type of values manipulated by the concrete domain. More...

Typedefs
typedef Sawyer::SharedPointer< class SValue >	SValuePtr
	Smart-ownership pointer to a concrete semantic value.

typedef BaseSemantics::Formatter	Formatter
	Formatter for symbolic values.

typedef BaseSemantics::RegisterStateGeneric	RegisterState

typedef BaseSemantics::RegisterStateGenericPtr	RegisterStatePtr

typedef boost::shared_ptr< class MemoryState >	MemoryStatePtr
	Shared-ownership pointer to a concrete memory state.

typedef BaseSemantics::State	State

typedef BaseSemantics::StatePtr	StatePtr

typedef boost::shared_ptr< class RiscOperators >	RiscOperatorsPtr
	Shared-ownership pointer to concrete RISC operations.

Typedef Documentation

◆ SValuePtr

typedef Sawyer::SharedPointer<class SValue> Rose::BinaryAnalysis::InstructionSemantics::ConcreteSemantics::SValuePtr

Smart-ownership pointer to a concrete semantic value.

Definition at line 27 of file ConcreteSemantics.h.

◆ Formatter

typedef BaseSemantics::Formatter Rose::BinaryAnalysis::InstructionSemantics::ConcreteSemantics::Formatter

Formatter for symbolic values.

Definition at line 30 of file ConcreteSemantics.h.

◆ RegisterState

typedef BaseSemantics::RegisterStateGeneric Rose::BinaryAnalysis::InstructionSemantics::ConcreteSemantics::RegisterState

Definition at line 137 of file ConcreteSemantics.h.

◆ RegisterStatePtr

typedef BaseSemantics::RegisterStateGenericPtr Rose::BinaryAnalysis::InstructionSemantics::ConcreteSemantics::RegisterStatePtr

Definition at line 138 of file ConcreteSemantics.h.

◆ MemoryStatePtr

typedef boost::shared_ptr<class MemoryState> Rose::BinaryAnalysis::InstructionSemantics::ConcreteSemantics::MemoryStatePtr

Shared-ownership pointer to a concrete memory state.

Definition at line 146 of file ConcreteSemantics.h.

◆ State

typedef BaseSemantics::State Rose::BinaryAnalysis::InstructionSemantics::ConcreteSemantics::State

Definition at line 275 of file ConcreteSemantics.h.

◆ StatePtr

typedef BaseSemantics::StatePtr Rose::BinaryAnalysis::InstructionSemantics::ConcreteSemantics::StatePtr

Definition at line 276 of file ConcreteSemantics.h.

◆ RiscOperatorsPtr

typedef boost::shared_ptr<class RiscOperators> Rose::BinaryAnalysis::InstructionSemantics::ConcreteSemantics::RiscOperatorsPtr

Shared-ownership pointer to concrete RISC operations.

Definition at line 284 of file ConcreteSemantics.h.