Rose::BinaryAnalysis::HotPatch Class Reference

Description

Describes how to modify machine state after each instruction.

The hot patching works by examining the hot patch records one by one trying to match them to the current machine state. When a record matches, the machine state is updated according to the matched record.

Definition at line 24 of file HotPatch.h.

#include <Rose/BinaryAnalysis/HotPatch.h>

Collaboration diagram for Rose::BinaryAnalysis::HotPatch:

Classes
class	Record
	Describes a single hot patch. More...

Public Types
typedef std::vector< Record >	Records
	Ordered list of hot patch records.

Public Member Functions
size_t	nRecords () const
	Number of hot-patch records in this object.
void	clear ()
	Remove all records from this object.
size_t	append (const Record &record)
	Append a hot-patch record.
const Records &	records () const
	Property: Hot patch records.
Records &	records ()
	Property: Hot patch records.
const Record &	operator[] (size_t idx) const
	Reference a particular record.
Record &	operator[] (size_t idx)
	Reference a particular record.
size_t	apply (const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &) const
	Apply records to a machine state.
size_t	operator() (const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &ops) const
	Apply records to a machine state.

Static Public Member Functions
static void	initDiagnostics ()
	Initialize diagnostic output.

Static Public Attributes
static Sawyer::Message::Facility	mlog
	Diagnostic output for hot patching.

Member Typedef Documentation

Records

typedef std::vector<Record> Rose::BinaryAnalysis::HotPatch::Records

Ordered list of hot patch records.

Definition at line 146 of file HotPatch.h.

Member Function Documentation

records() [1/2]

const Records & Rose::BinaryAnalysis::HotPatch::records ( ) const

inline

Property: Hot patch records.

Hot patch records are matched in the order they're defined here.

Definition at line 168 of file HotPatch.h.

records() [2/2]

Records & Rose::BinaryAnalysis::HotPatch::records ( )

inline

Property: Hot patch records.

Hot patch records are matched in the order they're defined here.

Definition at line 171 of file HotPatch.h.

nRecords()

size_t Rose::BinaryAnalysis::HotPatch::nRecords ( ) const

inline

Number of hot-patch records in this object.

Definition at line 177 of file HotPatch.h.

clear()

void Rose::BinaryAnalysis::HotPatch::clear ( )

inline

Remove all records from this object.

Definition at line 182 of file HotPatch.h.

append()

size_t Rose::BinaryAnalysis::HotPatch::append ( const Record &  record )

inline

Append a hot-patch record.

This is just a convenience function that's equivalent to records.push_back(x). It returns the index of the new record.

Definition at line 189 of file HotPatch.h.

operator[]() [1/2]

const Record & Rose::BinaryAnalysis::HotPatch::operator[] ( size_t  idx ) const

inline

Reference a particular record.

The idx must be less than nRecords.

Definition at line 199 of file HotPatch.h.

operator[]() [2/2]

Record & Rose::BinaryAnalysis::HotPatch::operator[] ( size_t  idx )

inline

Reference a particular record.

The idx must be less than nRecords.

Definition at line 203 of file HotPatch.h.

apply()

size_t Rose::BinaryAnalysis::HotPatch::apply

(

const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &

)

const

Apply records to a machine state.

Scans through the records of this object and tries to match each against the specified machine state. If a match occurs, the state is modified according to the record. After a match is found and a change is made, the process continues according to the matched record's behavior property.

Returns the number of matching records that were applied.

Referenced by operator()().

operator()()

size_t Rose::BinaryAnalysis::HotPatch::operator() ( const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &  ops ) const

inline

Apply records to a machine state.

Scans through the records of this object and tries to match each against the specified machine state. If a match occurs, the state is modified according to the record. After a match is found and a change is made, the process continues according to the matched record's behavior property.

Returns the number of matching records that were applied.

Definition at line 219 of file HotPatch.h.

References apply().

initDiagnostics()

static void Rose::BinaryAnalysis::HotPatch::initDiagnostics ( )

static

Initialize diagnostic output.

This is called automatically when ROSE is initialized.

Member Data Documentation

mlog

Sawyer::Message::Facility Rose::BinaryAnalysis::HotPatch::mlog

static

Diagnostic output for hot patching.

Definition at line 27 of file HotPatch.h.

---

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

• HotPatch.h