Public Member Functions | Static Public Member Functions | List of all members
Rose::BinaryAnalysis::Partitioner2::ModulesX86::FunctionReturnDetector Class Reference


Basic block callback to detect function returns.

The architecture agnostic isFunctionReturn test for basic blocks does not detect x86 "RET N" (N!=0) instructions as returning from a function because such instructions have side effects that apply after the return-to address is popped from the stack. Therefore this basic block callback looks for such instructions and sets the isFunctionReturn property for the basic block.

Definition at line 97 of file ModulesX86.h.

#include <Rose/BinaryAnalysis/Partitioner2/ModulesX86.h>

Inheritance diagram for Rose::BinaryAnalysis::Partitioner2::ModulesX86::FunctionReturnDetector:
Inheritance graph
Collaboration diagram for Rose::BinaryAnalysis::Partitioner2::ModulesX86::FunctionReturnDetector:
Collaboration graph

Public Member Functions

virtual bool operator() (bool chain, const Args &) override
 Callback method. More...
- Public Member Functions inherited from Sawyer::SharedObject
 SharedObject ()
 Default constructor. More...
 SharedObject (const SharedObject &)
 Copy constructor. More...
virtual ~SharedObject ()
 Virtual destructor. More...
SharedObjectoperator= (const SharedObject &)
 Assignment. More...

Static Public Member Functions

static Ptr instance ()
 Allocating constructor. More...

Additional Inherited Members

- Public Types inherited from Rose::BinaryAnalysis::Partitioner2::BasicBlockCallback
enum  Termination {
 Whether to terminate a basic block. More...
using Ptr = BasicBlockCallbackPtr
 Shared-ownership pointer to a BasicBlockCallback. More...

Member Function Documentation

static Ptr Rose::BinaryAnalysis::Partitioner2::ModulesX86::FunctionReturnDetector::instance ( )

Allocating constructor.

Definition at line 99 of file ModulesX86.h.

virtual bool Rose::BinaryAnalysis::Partitioner2::ModulesX86::FunctionReturnDetector::operator() ( bool  chain,
const Args  

Callback method.

This is the method invoked for the callback. The chain argument is the return value from the previous callback in the list (true for the first callback). The successor callbacks use chain to indicate whether subsequent callbacks should do anything.

Implements Rose::BinaryAnalysis::Partitioner2::BasicBlockCallback.

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