Rose::BinaryAnalysis::Partitioner2::DataFlow::TransferFunction Class Reference

Description

Data-Flow transfer functor.

Definition at line 182 of file Partitioner2/DataFlow.h.

#include <Rose/BinaryAnalysis/Partitioner2/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	toString (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...

Constructor & Destructor Documentation

Rose::BinaryAnalysis::Partitioner2::DataFlow::TransferFunction::TransferFunction ( const BaseSemantics::DispatcherPtr &  cpu )

inlineexplicit

Construct from a CPU.

Constructs a new transfer function using the specified cpu.

Definition at line 192 of file Partitioner2/DataFlow.h.

References Rose::BinaryAnalysis::RegisterDescriptor::nBits().

Member Function Documentation

BaseSemantics::StatePtr Rose::BinaryAnalysis::Partitioner2::DataFlow::TransferFunction::initialState

(

)

const

Construct an initial state.

BaseSemantics::DispatcherPtr Rose::BinaryAnalysis::Partitioner2::DataFlow::TransferFunction::cpu ( ) const

inline

Property: Virtual CPU.

This is the same pointer specified in the constructor.

Definition at line 204 of file Partitioner2/DataFlow.h.

CallingConvention::DefinitionPtr Rose::BinaryAnalysis::Partitioner2::DataFlow::TransferFunction::defaultCallingConvention ( ) const

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 Partitioner2/DataFlow.h.

void Rose::BinaryAnalysis::Partitioner2::DataFlow::TransferFunction::defaultCallingConvention ( const CallingConvention::DefinitionPtr &  x )

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 215 of file Partitioner2/DataFlow.h.

---

The documentation for this class was generated from the following file:

• Partitioner2/DataFlow.h