ROSE  0.11.51.0
Public Member Functions | List of all members
Rose::BinaryAnalysis::ModelChecker::P2Model::FunctionCall Class Reference

Description

Describes one funtion call in the call stack.

Definition at line 62 of file P2Model.h.

#include <P2Model.h>

Public Member Functions

 FunctionCall (const Partitioner2::FunctionPtr &, rose_addr_t initialSp, const Variables::StackVariables &)
 
Partitioner2::FunctionPtr function () const
 Property: The function called. More...
 
rose_addr_t initialStackPointer () const
 Property: Initial stack pointer. More...
 
const Variables::StackVariablesstackVariables () const
 Property: Stack variables. More...
 
rose_addr_t framePointerDelta () const
 Property: Frame pointer delta. More...
 
void framePointerDelta (rose_addr_t)
 Property: Frame pointer delta. 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.


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