SVF::MemRegion Class Reference

Memory Region class. More...

#include <MemRegion.h>

Classes
struct	equalMemRegion

Public Types
typedef bool	Condition
typedef struct SVF::MemRegion::equalMemRegion	equalMemRegion

Public Member Functions
	MemRegion (const NodeBS &cp)
	Constructor.
	~MemRegion ()
	Destructor.
MRID	getMRID () const
	Return memory region ID.
const NodeBS &	getPointsTo () const
	Return points-to.
bool	operator== (const MemRegion *rhs) const
	Operator== overriding.
std::string	dumpStr () const
	Dump string.
u32_t	getRegionSize () const
	Return memory object number inside a region.

Private Attributes
MRID	rid
const NodeBS	cptsSet

Static Private Attributes
static u32_t	totalMRNum = 0
	region ID 0 is reserved

Detailed Description

Memory Region class.

Definition at line 59 of file MemRegion.h.

Member Typedef Documentation

Condition

typedef bool SVF::MemRegion::Condition

Definition at line 63 of file MemRegion.h.

equalMemRegion

typedef struct SVF::MemRegion::equalMemRegion SVF::MemRegion::equalMemRegion

add the hash function here to sort elements and remove and remove duplicated element in the set (binary tree comparison)

Constructor & Destructor Documentation

MemRegion()

SVF::MemRegion::MemRegion ( const NodeBS &  cp )

inline

Constructor.

Definition at line 72 of file MemRegion.h.

                                :
        rid(++totalMRNum), cptsSet(cp)
    {
    }

~MemRegion()

SVF::MemRegion::~MemRegion ( )

inline

Destructor.

Definition at line 77 of file MemRegion.h.

    {
    }

Member Function Documentation

dumpStr()

std::string SVF::MemRegion::dumpStr ( ) const

inline

Dump string.

Definition at line 97 of file MemRegion.h.

    {
        std::string str;
        str += "pts{";
        for (NodeBS::iterator ii = cptsSet.begin(), ie = cptsSet.end();
                ii != ie; ii++)
        {
            char int2str[16];
            snprintf(int2str, sizeof(int2str), "%d", *ii);
            str += int2str;
            str += " ";
        }
        str += "}";
        return str;
    }

getMRID()

MRID SVF::MemRegion::getMRID ( ) const

inline

Return memory region ID.

Definition at line 82 of file MemRegion.h.

    {
        return rid;
    }

getPointsTo()

const NodeBS & SVF::MemRegion::getPointsTo ( ) const

inline

Return points-to.

Definition at line 87 of file MemRegion.h.

    {
        return cptsSet;
    }

getRegionSize()

u32_t SVF::MemRegion::getRegionSize ( ) const

inline

Return memory object number inside a region.

Definition at line 126 of file MemRegion.h.

    {
        return cptsSet.count();
    }

operator==()

bool SVF::MemRegion::operator== ( const MemRegion *  rhs ) const

inline

Operator== overriding.

Definition at line 92 of file MemRegion.h.

    {
        return this->getPointsTo() == rhs->getPointsTo();
    }

Member Data Documentation

cptsSet

const NodeBS SVF::MemRegion::cptsSet

private

Definition at line 68 of file MemRegion.h.

rid

MRID SVF::MemRegion::rid

private

Definition at line 67 of file MemRegion.h.

totalMRNum

u32_t MemRegion::totalMRNum = 0

staticprivate

region ID 0 is reserved

Definition at line 66 of file MemRegion.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/MSSA/MemRegion.h
• /home/runner/work/SVF/SVF/svf/lib/MSSA/MemRegion.cpp