Description
Base class for normalizing a state.
Definition at line 23 of file NoOperation.h.
#include <Rose/BinaryAnalysis/NoOperation.h>
Public Types | |
| typedef Sawyer::SharedPointer< StateNormalizer > | Ptr |
| Shared ownership pointer to a NoOperation::StateNormalizer. More... | |
Public Member Functions | |
| virtual InstructionSemantics::BaseSemantics::StatePtr | initialState (const InstructionSemantics::BaseSemantics::DispatcherPtr &, SgAsmInstruction *firstInsn) |
| Constructs an initial state. More... | |
| virtual std::string | toString (const InstructionSemantics::BaseSemantics::DispatcherPtr &, const InstructionSemantics::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... | |
| SharedObject & | operator= (const SharedObject &) |
| Assignment. More... | |
Static Public Member Functions | |
| static Ptr | instance () |
| Allocating constructor. More... | |
Protected Attributes | |
| size_t | ignorePoppedMemory_ |
Member Typedef Documentation
| typedef Sawyer::SharedPointer<StateNormalizer> Rose::BinaryAnalysis::NoOperation::StateNormalizer::Ptr |
Shared ownership pointer to a NoOperation::StateNormalizer.
Definition at line 31 of file NoOperation.h.
Member Function Documentation
|
inlinestatic |
Allocating constructor.
Definition at line 34 of file NoOperation.h.
|
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 NoOperation.h.
|
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 46 of file NoOperation.h.
|
virtual |
Constructs an initial state.
|
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:
