Rose::BinaryAnalysis::InstructionSemantics::ConcreteSemantics Namespace Reference

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. More...
typedef BaseSemantics::Formatter	Formatter
	Formatter for symbolic values. More...
typedef BaseSemantics::RegisterStateGeneric	RegisterState
typedef BaseSemantics::RegisterStateGenericPtr	RegisterStatePtr
typedef boost::shared_ptr< class MemoryState >	MemoryStatePtr
	Shared-ownership pointer to a concrete memory state. More...
typedef BaseSemantics::State	State
typedef BaseSemantics::StatePtr	StatePtr
typedef boost::shared_ptr< class RiscOperators >	RiscOperatorsPtr
	Shared-ownership pointer to concrete RISC operations. More...

Typedef Documentation

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

Smart-ownership pointer to a concrete semantic value.

Definition at line 31 of file ConcreteSemantics.h.

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

Formatter for symbolic values.

Definition at line 34 of file ConcreteSemantics.h.

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

Shared-ownership pointer to a concrete memory state.

Definition at line 182 of file ConcreteSemantics.h.

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

Shared-ownership pointer to concrete RISC operations.

Definition at line 346 of file ConcreteSemantics.h.