ROSE  0.9.9.109
Public Member Functions | Static Public Member Functions | Protected Member Functions | List of all members
Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics::State Class Reference

Description

Represents the entire state of the machine.

This state expects to use a subclass of BaseSemantics::MemoryCellList as its memory state, and does not expect that MemoryCellList to be byte-restricted.

Definition at line 222 of file PartialSymbolicSemantics2.h.

#include <PartialSymbolicSemantics2.h>

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics::State:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics::State:
Collaboration graph
[legend]

Public Member Functions

virtual BaseSemantics::StatePtr create (const BaseSemantics::RegisterStatePtr &registers, const BaseSemantics::MemoryStatePtr &memory) const ROSE_OVERRIDE
 Virtual constructor. More...
 
virtual BaseSemantics::StatePtr clone () const ROSE_OVERRIDE
 Virtual copy constructor. More...
 
virtual void print_diff_registers (std::ostream &, const StatePtr &other_state, Formatter &) const
 Print info about how registers differ. More...
 
virtual bool equal_registers (const StatePtr &other) const
 Tests registers of two states for equality. More...
 
virtual void discard_popped_memory ()
 Removes from memory those values at addresses below the current stack pointer. More...
 
- Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::State
SValuePtr protoval () const
 Return the protoval. More...
 
SValuePtr get_protoval () const ROSE_DEPRECATED("use protoval instead")
 
virtual void clear ()
 Initialize state. More...
 
virtual void zero_registers ()
 Initialize all registers to zero. More...
 
virtual void clear_memory ()
 Clear all memory locations. More...
 
RegisterStatePtr registerState () const
 Property: Register state. More...
 
RegisterStatePtr get_register_state () ROSE_DEPRECATED("use registerState instead")
 
MemoryStatePtr memoryState () const
 Property: Memory state. More...
 
MemoryStatePtr get_memory_state () ROSE_DEPRECATED("use memoryState instead")
 
virtual SValuePtr readRegister (RegisterDescriptor desc, const SValuePtr &dflt, RiscOperators *ops)
 Read a value from a register. More...
 
virtual void writeRegister (RegisterDescriptor desc, const SValuePtr &value, RiscOperators *ops)
 Write a value to a register. More...
 
virtual SValuePtr readMemory (const SValuePtr &address, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps)
 Read a value from memory. More...
 
virtual void writeMemory (const SValuePtr &addr, const SValuePtr &value, RiscOperators *addrOps, RiscOperators *valOps)
 Write a value to memory. More...
 
void print_registers (std::ostream &stream, const std::string &prefix="") ROSE_DEPRECATED("use printRegisters instead")
 
virtual void print_registers (std::ostream &stream, Formatter &fmt) const ROSE_DEPRECATED("use printRegisters instead")
 
void print_memory (std::ostream &stream, const std::string prefix="") const ROSE_DEPRECATED("use printMemory instead")
 
virtual void print_memory (std::ostream &stream, Formatter &fmt) const ROSE_DEPRECATED("use printMemory instead")
 
virtual bool merge (const StatePtr &other, RiscOperators *ops)
 Merge operation for data flow analysis. More...
 
void printRegisters (std::ostream &stream, const std::string &prefix="")
 Print the register contents. More...
 
virtual void printRegisters (std::ostream &stream, Formatter &fmt) const
 Print the register contents. More...
 
void printMemory (std::ostream &stream, const std::string &prefix="") const
 Print memory contents. More...
 
virtual void printMemory (std::ostream &stream, Formatter &fmt) const
 Print memory contents. More...
 
void print (std::ostream &stream, const std::string &prefix="") const
 Print the state. More...
 
virtual void print (std::ostream &, Formatter &) const
 Print the state. More...
 
WithFormatter with_format (Formatter &fmt)
 Used for printing states with formatting. More...
 
WithFormatter operator+ (Formatter &fmt)
 Used for printing states with formatting. More...
 

Static Public Member Functions

static StatePtr instance (const BaseSemantics::RegisterStatePtr &registers, const BaseSemantics::MemoryStatePtr &memory)
 Instantiates a new instance of memory state with specified register and memory states. More...
 
static StatePtr instance (const StatePtr &other)
 Instantiates a new copy of an existing state. More...
 
static StatePtr promote (const BaseSemantics::StatePtr &x)
 
- Static Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::State
static StatePtr instance (const RegisterStatePtr &registers, const MemoryStatePtr &memory)
 Instantiate a new state object with specified register and memory states. More...
 
static StatePtr instance (const StatePtr &other)
 Instantiate a new copy of an existing state. More...
 
static StatePtr promote (const StatePtr &x)
 

Protected Member Functions

 State (const BaseSemantics::RegisterStatePtr &registers, const BaseSemantics::MemoryStatePtr &memory)
 
 State (const State &other)
 
- Protected Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::State
 State (const RegisterStatePtr &registers, const MemoryStatePtr &memory)
 
 State (const State &other)
 

Additional Inherited Members

- Public Types inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::State
typedef StatePtr Ptr
 Shared-ownership pointer for a State. More...
 

Member Function Documentation

static StatePtr Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics::State::instance ( const BaseSemantics::RegisterStatePtr registers,
const BaseSemantics::MemoryStatePtr memory 
)
inlinestatic

Instantiates a new instance of memory state with specified register and memory states.

Definition at line 248 of file PartialSymbolicSemantics2.h.

Referenced by clone(), and create().

static StatePtr Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics::State::instance ( const StatePtr other)
inlinestatic

Instantiates a new copy of an existing state.

Definition at line 254 of file PartialSymbolicSemantics2.h.

virtual BaseSemantics::StatePtr Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics::State::create ( const BaseSemantics::RegisterStatePtr registers,
const BaseSemantics::MemoryStatePtr memory 
) const
inlinevirtual

Virtual constructor.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::State.

Definition at line 261 of file PartialSymbolicSemantics2.h.

References instance().

virtual BaseSemantics::StatePtr Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics::State::clone ( ) const
inlinevirtual

Virtual copy constructor.

Allocates a new state object which is a deep copy of this state. States must be copyable objects because many analyses depend on being able to make a copy of the entire semantic state at each machine instruction, at each CFG vertex, etc.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::State.

Definition at line 266 of file PartialSymbolicSemantics2.h.

References instance().

virtual void Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics::State::print_diff_registers ( std::ostream &  ,
const StatePtr other_state,
Formatter  
) const
virtual

Print info about how registers differ.

If a RenameMap is specified then named values will be renamed to have a shorter name.

virtual bool Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics::State::equal_registers ( const StatePtr other) const
virtual

Tests registers of two states for equality.

virtual void Rose::BinaryAnalysis::InstructionSemantics2::PartialSymbolicSemantics::State::discard_popped_memory ( )
virtual

Removes from memory those values at addresses below the current stack pointer.

This is automatically called after each instruction if the policy's p_discard_popped_memory property is set.


The documentation for this class was generated from the following file: