Classes | Public Types | Public Member Functions | Public Attributes | List of all members
Rose::BinaryAnalysis::PointerDetection::PointerDescriptor Class Reference


Description of one pointer.

Definition at line 174 of file PointerDetection.h.

#include <Rose/BinaryAnalysis/PointerDetection.h>

Collaboration diagram for Rose::BinaryAnalysis::PointerDetection::PointerDescriptor:
Collaboration graph


struct  Access
 Description of accessing memory. More...

Public Types

enum  Direction {
 Information about how a pointer is dereferenced. More...

Public Member Functions

 PointerDescriptor (const SymbolicExpression::Ptr &pointerVa, size_t nBits, rose_addr_t insnVa, Direction dir, const SymbolicExpression::Ptr &pointerValue)

Public Attributes

SymbolicExpression::Ptr pointerVa
 Symbolic address where pointer variable is stored. More...
size_t nBits
 Width of pointer in bits. More...
std::set< AccesspointerAccesses
 Where pointer variable's value was accessed. More...
std::set< Accessdereferences
 Where pointer was dereferenced. More...

Member Enumeration Documentation

Information about how a pointer is dereferenced.


Pointer is used to read from memory.


Pointer is used to write to memory.

Definition at line 177 of file PointerDetection.h.

Member Data Documentation

SymbolicExpression::Ptr Rose::BinaryAnalysis::PointerDetection::PointerDescriptor::pointerVa

Symbolic address where pointer variable is stored.

Definition at line 204 of file PointerDetection.h.

size_t Rose::BinaryAnalysis::PointerDetection::PointerDescriptor::nBits

Width of pointer in bits.

Definition at line 205 of file PointerDetection.h.

std::set<Access> Rose::BinaryAnalysis::PointerDetection::PointerDescriptor::pointerAccesses

Where pointer variable's value was accessed.

Definition at line 206 of file PointerDetection.h.

std::set<Access> Rose::BinaryAnalysis::PointerDetection::PointerDescriptor::dereferences

Where pointer was dereferenced.

Definition at line 207 of file PointerDetection.h.

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