ROSE
0.9.10.168
|
Data-Flow transfer functor.
Definition at line 181 of file DataFlow.h.
#include <DataFlow.h>
Public Member Functions | |
TransferFunction (const BaseSemantics::DispatcherPtr &cpu) | |
Construct from a CPU. More... | |
BaseSemantics::StatePtr | initialState () const |
Construct an initial state. More... | |
BaseSemantics::DispatcherPtr | cpu () const |
Property: Virtual CPU. More... | |
std::string | printState (const BaseSemantics::StatePtr &state) |
BaseSemantics::StatePtr | operator() (const DfCfg &, size_t vertexId, const BaseSemantics::StatePtr &incomingState) const |
CallingConvention::DefinitionPtr | defaultCallingConvention () const |
Property: Default calling convention. More... | |
void | defaultCallingConvention (const CallingConvention::DefinitionPtr &x) |
Property: Default calling convention. More... | |
|
inlineexplicit |
Construct from a CPU.
Constructs a new transfer function using the specified cpu
.
Definition at line 191 of file DataFlow.h.
BaseSemantics::StatePtr Rose::BinaryAnalysis::Partitioner2::DataFlow::TransferFunction::initialState | ( | ) | const |
Construct an initial state.
|
inline |
Property: Virtual CPU.
This is the same pointer specified in the constructor.
Definition at line 203 of file DataFlow.h.
|
inline |
Property: Default calling convention.
The default calling convention is used whenever a call is made to a function that has no calling convention information. It specifies which registers should be clobbered by the call and how the stack and instruction poniter are adjusted when returning from the call. The default calling convention may be a null pointer to indicate that absolutely nothing is known about the convention of non-analyzed functions.
Definition at line 213 of file DataFlow.h.
|
inline |
Property: Default calling convention.
The default calling convention is used whenever a call is made to a function that has no calling convention information. It specifies which registers should be clobbered by the call and how the stack and instruction poniter are adjusted when returning from the call. The default calling convention may be a null pointer to indicate that absolutely nothing is known about the convention of non-analyzed functions.
Definition at line 214 of file DataFlow.h.