ROSE 0.11.145.192
|
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. | |
Public Member Functions | |
virtual InstructionSemantics::BaseSemantics::StatePtr | initialState (const InstructionSemantics::BaseSemantics::DispatcherPtr &, SgAsmInstruction *firstInsn) |
Constructs an initial state. | |
virtual std::string | toString (const InstructionSemantics::BaseSemantics::DispatcherPtr &, const InstructionSemantics::BaseSemantics::StatePtr &) |
Takes a state and returns a normalized string. | |
size_t | ignorePoppedMemory () const |
Property: ignore recently popped memory. | |
void | ignorePoppedMemory (size_t nbytes) |
Property: ignore recently popped memory. | |
Public Member Functions inherited from Sawyer::SharedObject | |
SharedObject () | |
Default constructor. | |
SharedObject (const SharedObject &) | |
Copy constructor. | |
virtual | ~SharedObject () |
Virtual destructor. | |
SharedObject & | operator= (const SharedObject &) |
Assignment. | |
Static Public Member Functions | |
static Ptr | instance () |
Allocating constructor. | |
Protected Attributes | |
size_t | ignorePoppedMemory_ |
typedef Sawyer::SharedPointer<StateNormalizer> Rose::BinaryAnalysis::NoOperation::StateNormalizer::Ptr |
Shared ownership pointer to a NoOperation::StateNormalizer.
Definition at line 31 of file NoOperation.h.
|
inlineprotected |
Definition at line 26 of file NoOperation.h.
|
inlinevirtual |
Definition at line 28 of file NoOperation.h.
|
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 |
Takes a state and returns a normalized string.
States are considered equal if their strings are equal.
|
protected |
Definition at line 25 of file NoOperation.h.