Description
Base class for normalizing a state.
Definition at line 22 of file BinaryNoOperation.h.
#include <BinaryNoOperation.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 30 of file BinaryNoOperation.h.
Member Function Documentation
|
inlinestatic |
Allocating constructor.
Definition at line 33 of file BinaryNoOperation.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 44 of file BinaryNoOperation.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 BinaryNoOperation.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:
