SVF::MRVer Class Reference

#include <MSSAMuChi.h>

Public Types
typedef MSSADEF	MSSADef

Public Member Functions
	MRVer (const MemRegion *m, MRVERSION v, MSSADef *d)
	Constructor.
const MemRegion *	getMR () const
	Return the memory region.
MRVERSION	getSSAVersion () const
	Return SSA version.
MSSADef *	getDef () const
	Get MSSADef.
MRVERID	getID () const
	Get MRVERID.

Private Attributes
const MemRegion *	mr
MRVERSION	version
MRVERID	vid
MSSADef *	def

Static Private Attributes
static u32_t	totalVERNum = 0
	ver ID 0 is reserved

Detailed Description

Memory SSA Variable (in the form of SSA versions of each memory region )

Definition at line 43 of file MSSAMuChi.h.

Member Typedef Documentation

MSSADef

typedef MSSADEF SVF::MRVer::MSSADef

Definition at line 47 of file MSSAMuChi.h.

Constructor & Destructor Documentation

MRVer()

SVF::MRVer::MRVer ( const MemRegion *  m, MRVERSION  v, MSSADef *  d  )

inline

Constructor.

Definition at line 57 of file MSSAMuChi.h.

                                                       :
        mr(m), version(v), vid(totalVERNum++),def(d)
    {
    }

Member Function Documentation

getDef()

MSSADef * SVF::MRVer::getDef ( ) const

inline

Get MSSADef.

Definition at line 75 of file MSSAMuChi.h.

    {
        return def;
    }

getID()

MRVERID SVF::MRVer::getID ( ) const

inline

Get MRVERID.

Definition at line 81 of file MSSAMuChi.h.

    {
        return vid;
    }

getMR()

const MemRegion * SVF::MRVer::getMR ( ) const

inline

Return the memory region.

Definition at line 63 of file MSSAMuChi.h.

    {
        return mr;
    }

getSSAVersion()

MRVERSION SVF::MRVer::getSSAVersion ( ) const

inline

Return SSA version.

Definition at line 69 of file MSSAMuChi.h.

    {
        return version;
    }

Member Data Documentation

def

MSSADef* SVF::MRVer::def

private

Definition at line 54 of file MSSAMuChi.h.

mr

const MemRegion* SVF::MRVer::mr

private

Definition at line 51 of file MSSAMuChi.h.

totalVERNum

u32_t MRVer::totalVERNum = 0

staticprivate

ver ID 0 is reserved

Definition at line 50 of file MSSAMuChi.h.

version

MRVERSION SVF::MRVer::version

private

Definition at line 52 of file MSSAMuChi.h.

vid

MRVERID SVF::MRVer::vid

private

Definition at line 53 of file MSSAMuChi.h.

---

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

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