Description
Base class for normalizing a state.
Definition at line 24 of file NoOperation.h.
#include <Rose/BinaryAnalysis/NoOperation.h>
Public Types | |
| typedef Sawyer::SharedPointer< StateNormalizer > | Ptr |
| 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... | |
| 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 StateNormalizer.
See Shared ownership.
Definition at line 32 of file NoOperation.h.
Member Function Documentation
|
inlinestatic |
Allocating constructor.
Definition at line 35 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.
|
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 47 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:
