ROSE  0.9.9.109
Classes | Typedefs | Variables
Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics Namespace Reference

Description

A fast, partially symbolic semantic domain.

This policy can be used to emulate the execution of a single basic block of instructions. It is similar in nature to the FindConstantsPolicy (deprecated) except much simpler, much faster, and much more memory-lean. The main classes are:

Each value is either a known value or an unknown value. An unknown value consists of a base name and offset and whether the value is negated.

Classes

class  Formatter
 Formatter that renames variables on the fly. More...
 
class  RiscOperators
 Defines RISC operators for this semantic domain. More...
 
class  State
 Represents the entire state of the machine. More...
 
class  SValue
 Type of values manipulated by the PartialSymbolicSemantics domain. More...
 

Typedefs

typedef Sawyer::SharedPointer< class SValueSValuePtr
 Shared-ownership pointer to a partial-symbolic semantic value. More...
 
typedef BaseSemantics::RegisterStateGeneric RegisterState
 
typedef BaseSemantics::RegisterStateGenericPtr RegisterStatePtr
 
typedef BaseSemantics::MemoryCellList MemoryState
 
typedef BaseSemantics::MemoryCellListPtr MemoryStatePtr
 
typedef boost::shared_ptr< class StateStatePtr
 Shared-ownership pointer to partial symbolic semantics state. More...
 
typedef boost::shared_ptr< class RiscOperatorsRiscOperatorsPtr
 Shared-ownership pointer to partial symbolic semantics RISC operations. More...
 

Variables

uint64_t name_counter
 

Typedef Documentation

Shared-ownership pointer to a partial-symbolic semantic value.

See Shared ownership.

Definition at line 69 of file PartialSymbolicSemantics2.h.

Shared-ownership pointer to partial symbolic semantics state.

See Shared ownership.

Definition at line 218 of file PartialSymbolicSemantics2.h.

Shared-ownership pointer to partial symbolic semantics RISC operations.

See Shared ownership.

Definition at line 301 of file PartialSymbolicSemantics2.h.