ROSE  0.9.9.139
Classes | Typedefs
Rose::BinaryAnalysis::InstructionSemantics2::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 SValueSValuePtr
 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 MemoryStateMemoryStatePtr
 Shared-ownership pointer to a concrete memory state. More...
 
typedef BaseSemantics::State State
 
typedef BaseSemantics::StatePtr StatePtr
 
typedef boost::shared_ptr< class RiscOperatorsRiscOperatorsPtr
 Shared-ownership pointer to concrete RISC operations. More...
 

Typedef Documentation

Smart-ownership pointer to a concrete semantic value.

See Shared ownership.

Definition at line 29 of file ConcreteSemantics2.h.

Formatter for symbolic values.

Definition at line 32 of file ConcreteSemantics2.h.

Shared-ownership pointer to a concrete memory state.

See Shared ownership.

Definition at line 158 of file ConcreteSemantics2.h.

Shared-ownership pointer to concrete RISC operations.

See Shared ownership.

Definition at line 299 of file ConcreteSemantics2.h.