Description

Describes one funtion call in the call stack.

Definition at line 75 of file P2Model.h.

Public Member Functions
	FunctionCall (const Partitioner2::FunctionPtr &, rose_addr_t initialSp, Sawyer::Optional< rose_addr_t > returnAddress, const Variables::StackVariables &)

Partitioner2::FunctionPtr	function () const
	Property: The function called. More...

rose_addr_t	initialStackPointer () const
	Property: Initial stack pointer. More...

const Variables::StackVariables &	stackVariables () const
	Property: Stack variables. More...

rose_addr_t	framePointer (size_t nBits) const
	Computed frame pointer. More...

std::string	printableName (size_t nBits) const
	Some basic info about the function call. More...


rose_addr_t	framePointerDelta () const
	Property: Frame pointer delta. More...

void	framePointerDelta (rose_addr_t)
	Property: Frame pointer delta. More...


Sawyer::Optional< rose_addr_t >	returnAddress () const
	Address to which function returns. More...

void	returnAddress (Sawyer::Optional< rose_addr_t >)
	Address to which function returns. More...

Member Function Documentation

Partitioner2::FunctionPtr Rose::BinaryAnalysis::ModelChecker::P2Model::FunctionCall::function ( ) const

Property: The function called.

rose_addr_t Rose::BinaryAnalysis::ModelChecker::P2Model::FunctionCall::initialStackPointer ( ) const

Property: Initial stack pointer.

The concrete value of the stack pointer at the start of the function.

const Variables::StackVariables& Rose::BinaryAnalysis::ModelChecker::P2Model::FunctionCall::stackVariables ( ) const

Property: Stack variables.

rose_addr_t Rose::BinaryAnalysis::ModelChecker::P2Model::FunctionCall::framePointerDelta ( ) const

Property: Frame pointer delta.

Amount to add to the initial stack pointer to get the usual frame pointer.

void Rose::BinaryAnalysis::ModelChecker::P2Model::FunctionCall::framePointerDelta ( rose_addr_t )

Property: Frame pointer delta.

Amount to add to the initial stack pointer to get the usual frame pointer.

rose_addr_t Rose::BinaryAnalysis::ModelChecker::P2Model::FunctionCall::framePointer ( size_t nBits ) const

Computed frame pointer.

This is the frame pointer computed from the initial stack pointer and the frame pointer delta.

Sawyer::Optional<rose_addr_t> Rose::BinaryAnalysis::ModelChecker::P2Model::FunctionCall::returnAddress ( ) const

Address to which function returns.

void Rose::BinaryAnalysis::ModelChecker::P2Model::FunctionCall::returnAddress ( Sawyer::Optional< rose_addr_t > )

Address to which function returns.

std::string Rose::BinaryAnalysis::ModelChecker::P2Model::FunctionCall::printableName ( size_t nBits ) const

Some basic info about the function call.

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