ROSE  0.9.9.168
Public Types | Public Member Functions | Static Public Member Functions | Protected Attributes | List of all members
Rose::BinaryAnalysis::NoOperation::StateNormalizer Class Reference

Description

Base class for normalizing a state.

Definition at line 22 of file BinaryNoOperation.h.

#include <BinaryNoOperation.h>

Inheritance diagram for Rose::BinaryAnalysis::NoOperation::StateNormalizer:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::NoOperation::StateNormalizer:
Collaboration graph
[legend]

Public Types

typedef Sawyer::SharedPointer< StateNormalizerPtr
 Shared ownership pointer to a StateNormalizer. More...
 

Public Member Functions

virtual InstructionSemantics2::BaseSemantics::StatePtr initialState (const InstructionSemantics2::BaseSemantics::DispatcherPtr &, SgAsmInstruction *firstInsn)
 Constructs an initial state. More...
 
virtual std::string toString (const InstructionSemantics2::BaseSemantics::DispatcherPtr &, const InstructionSemantics2::BaseSemantics::StatePtr &)
 Takes a state and returns a normalized string. More...
 
size_t ignorePoppedMemory () const
 Property: ignore recently popped memory. More...
 
void ignorePoppedMemory (size_t nbytes)
 Property: ignore recently popped memory. More...
 
- Public Member Functions inherited from Sawyer::SharedObject
 SharedObject ()
 Default constructor. More...
 
 SharedObject (const SharedObject &)
 Copy constructor. More...
 
virtual ~SharedObject ()
 Virtual destructor. More...
 
SharedObjectoperator= (const SharedObject &)
 Assignment. More...
 

Static Public Member Functions

static Ptr instance ()
 Allocating constructor. More...
 

Protected Attributes

size_t ignorePoppedMemory_
 

Member Typedef Documentation

Shared ownership pointer to a StateNormalizer.

See Shared ownership.

Definition at line 30 of file BinaryNoOperation.h.

Member Function Documentation

static Ptr Rose::BinaryAnalysis::NoOperation::StateNormalizer::instance ( )
inlinestatic

Allocating constructor.

Definition at line 33 of file BinaryNoOperation.h.

size_t Rose::BinaryAnalysis::NoOperation::StateNormalizer::ignorePoppedMemory ( ) const
inline

Property: ignore recently popped memory.

If the stack is well behaved (they usually are) then ignore memory that is off the top of the stack because it's been recently popped. The value if this property is the number of bytes beyond the top of the stack that are considered to be recently popped.

Definition at line 44 of file BinaryNoOperation.h.

void Rose::BinaryAnalysis::NoOperation::StateNormalizer::ignorePoppedMemory ( size_t  nbytes)
inline

Property: ignore recently popped memory.

If the stack is well behaved (they usually are) then ignore memory that is off the top of the stack because it's been recently popped. The value if this property is the number of bytes beyond the top of the stack that are considered to be recently popped.

Definition at line 45 of file BinaryNoOperation.h.

virtual InstructionSemantics2::BaseSemantics::StatePtr Rose::BinaryAnalysis::NoOperation::StateNormalizer::initialState ( const InstructionSemantics2::BaseSemantics::DispatcherPtr ,
SgAsmInstruction firstInsn 
)
virtual

Constructs an initial state.

virtual std::string Rose::BinaryAnalysis::NoOperation::StateNormalizer::toString ( const InstructionSemantics2::BaseSemantics::DispatcherPtr ,
const InstructionSemantics2::BaseSemantics::StatePtr  
)
virtual

Takes a state and returns a normalized string.

States are considered equal if their strings are equal.


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