SVF::MemSSAStat Class Reference

#include <SVFGStat.h>

Inheritance diagram for SVF::MemSSAStat:

Public Member Functions
	MemSSAStat (MemSSA *)
virtual	~MemSSAStat ()
virtual void	performStat () override
virtual void	printStat (std::string str="") override
Public Member Functions inherited from SVF::PTAStat
	PTAStat (PointerAnalysis *p)
virtual	~PTAStat ()
void	setMemUsageBefore (u32_t vmrss, u32_t vmsize)
void	setMemUsageAfter (u32_t vmrss, u32_t vmsize)
void	performStat () override
void	callgraphStat () override
Public Member Functions inherited from SVF::SVFStat
	SVFStat ()
virtual	~SVFStat ()
virtual void	startClk ()
virtual void	endClk ()
virtual void	performStatPerQuery (NodeID)
virtual void	printStatPerQuery (NodeID, const PointsTo &)

Static Public Attributes
static const char *	TotalTimeOfConstructMemSSA = "TotalMSSATime"
	Total time for constructing memory SSA.
static const char *	TimeOfGeneratingMemRegions = "GenRegionTime"
	Time for allocating regions.
static const char *	TimeOfCreateMUCHI = "GenMUCHITime"
	Time for generating mu/chi for load/store/calls.
static const char *	TimeOfInsertingPHI = "InsertPHITime"
	Time for inserting phis.
static const char *	TimeOfSSARenaming = "SSARenameTime"
	Time for SSA rename.
static const char *	NumOfMaxRegion = "MaxRegSize"
	Number of max points-to set in region.
static const char *	NumOfAveragePtsInRegion = "AverageRegSize"
	Number of average points-to set in region.
static const char *	NumOfMemRegions = "MemRegions"
	Number of memory regions.
static const char *	NumOfEntryChi = "FunEntryChi"
	Number of function entry chi.
static const char *	NumOfRetMu = "FunRetMu"
	Number of function return mu.
static const char *	NumOfCSChi = "CSChiNode"
	Number of call site chi.
static const char *	NumOfCSMu = "CSMuNode"
	Number of call site mu.
static const char *	NumOfLoadMu = "LoadMuNode"
	Number of load mu.
static const char *	NumOfStoreChi = "StoreChiNode"
	Number of store chi.
static const char *	NumOfMSSAPhi = "MSSAPhi"
	Number of mssa phi.
static const char *	NumOfFunHasEntryChi = "FunHasEntryChi"
	Number of functions which have entry chi.
static const char *	NumOfFunHasRetMu = "FunHasRetMu"
	Number of functions which have return mu.
static const char *	NumOfCSHasChi = "CSHasChi"
	Number of call sites which have chi.
static const char *	NumOfCSHasMu = "CSHasMu"
	Number of call sites which have mu.
static const char *	NumOfLoadHasMu = "LoadHasMu"
	Number of loads which have mu.
static const char *	NumOfStoreHasChi = "StoreHasChi"
	Number of stores which have chi.
static const char *	NumOfBBHasMSSAPhi = "BBHasMSSAPhi"
	Number of basic blocks which have mssa phi.
Static Public Attributes inherited from SVF::SVFStat
static bool	printGeneralStats = true
	SVF's general statistics are only printed once even if you run multiple anayses.
static double	timeOfBuildingLLVMModule = 0
static double	timeOfBuildingSymbolTable = 0
static double	timeOfBuildingSVFIR = 0

Private Attributes
MemSSA *	mssa

Additional Inherited Members
Public Types inherited from SVF::SVFStat
enum class	ClockType { Wall , CPU }
typedef OrderedMap< std::string, u32_t >	NUMStatMap
typedef OrderedMap< std::string, double >	TIMEStatMap
Static Public Member Functions inherited from SVF::SVFStat
static double	getClk (bool mark=false)
Public Attributes inherited from SVF::PTAStat
NodeBS	localVarInRecursion
Public Attributes inherited from SVF::SVFStat
NUMStatMap	generalNumMap
NUMStatMap	PTNumStatMap
TIMEStatMap	timeStatMap
double	startTime
double	endTime
Protected Attributes inherited from SVF::PTAStat
PointerAnalysis *	pta
u32_t	_vmrssUsageBefore
u32_t	_vmrssUsageAfter
u32_t	_vmsizeUsageBefore
u32_t	_vmsizeUsageAfter

Detailed Description

Definition at line 48 of file SVFGStat.h.

Constructor & Destructor Documentation

MemSSAStat()

MemSSAStat::MemSSAStat

(

MemSSA *

memSSA

)

Constructor

Definition at line 65 of file SVFGStat.cpp.

                                     : PTAStat(nullptr)
{
    mssa = memSSA;
    startClk();
}

~MemSSAStat()

virtual SVF::MemSSAStat::~MemSSAStat ( )

inlinevirtual

Definition at line 79 of file SVFGStat.h.

    {
 
    }

Member Function Documentation

performStat()

void MemSSAStat::performStat ( )

overridevirtual

Start stating

Implements SVF::SVFStat.

Definition at line 74 of file SVFGStat.cpp.

{
 
    endClk();
 
    MRGenerator* mrGenerator = mssa->getMRGenerator();
    u32_t regionNumber = mrGenerator->getMRNum();
 
    u32_t maxRegionSize = 0;
    u32_t totalRegionPtsNum = 0;
    MRGenerator::MRSet & mrSet = mrGenerator->getMRSet();
    MRGenerator::MRSet::const_iterator it = mrSet.begin();
    MRGenerator::MRSet::const_iterator eit = mrSet.end();
    for (; it != eit; it++)
    {
        const MemRegion* region = *it;
        u32_t regionSize = region->getRegionSize();
        if (regionSize > maxRegionSize)
            maxRegionSize = regionSize;
        totalRegionPtsNum += regionSize;
    }
 
    timeStatMap[TotalTimeOfConstructMemSSA] = (endTime - startTime)/TIMEINTERVAL;
    timeStatMap[TimeOfGeneratingMemRegions] = MemSSA::timeOfGeneratingMemRegions;
    timeStatMap[TimeOfCreateMUCHI] =  MemSSA::timeOfCreateMUCHI;
    timeStatMap[TimeOfInsertingPHI] =  MemSSA::timeOfInsertingPHI;
    timeStatMap[TimeOfSSARenaming] =  MemSSA::timeOfSSARenaming;
 
    PTNumStatMap[NumOfMaxRegion] = maxRegionSize;
    timeStatMap[NumOfAveragePtsInRegion] = (regionNumber == 0) ? 0 : ((double)totalRegionPtsNum / regionNumber);
    PTNumStatMap[NumOfMemRegions] = regionNumber;
    PTNumStatMap[NumOfEntryChi] = mssa->getFunEntryChiNum();
    PTNumStatMap[NumOfRetMu] = mssa->getFunRetMuNum();
    PTNumStatMap[NumOfCSChi] = mssa->getCallSiteChiNum();
    PTNumStatMap[NumOfCSMu] = mssa->getCallSiteMuNum();
    PTNumStatMap[NumOfLoadMu] = mssa->getLoadMuNum();
    PTNumStatMap[NumOfStoreChi] = mssa->getStoreChiNum();
    PTNumStatMap[NumOfMSSAPhi] = mssa->getBBPhiNum();
 
    PTNumStatMap[NumOfFunHasEntryChi] = mssa->getFunToEntryChiSetMap().size();
    PTNumStatMap[NumOfFunHasRetMu] = mssa->getFunToRetMuSetMap().size();
    PTNumStatMap[NumOfCSHasChi] = mssa->getCallSiteToChiSetMap().size();
    PTNumStatMap[NumOfCSHasMu] = mssa->getCallSiteToMuSetMap().size();
    PTNumStatMap[NumOfLoadHasMu] = mssa->getLoadToMUSetMap().size();
    PTNumStatMap[NumOfStoreHasChi] = mssa->getStoreToChiSetMap().size();
    PTNumStatMap[NumOfBBHasMSSAPhi] = mssa->getBBToPhiSetMap().size();
 
    printStat();
 
}

printStat()

void MemSSAStat::printStat ( std::string str = "" )

overridevirtual

Print statistics

Reimplemented from SVF::SVFStat.

Definition at line 128 of file SVFGStat.cpp.

{
    PTAStat::printStat("Memory SSA Statistics");
}

Member Data Documentation

mssa

MemSSA* SVF::MemSSAStat::mssa

private

Definition at line 88 of file SVFGStat.h.

NumOfAveragePtsInRegion

const char * MemSSAStat::NumOfAveragePtsInRegion = "AverageRegSize"

static

Number of average points-to set in region.

Definition at line 59 of file SVFGStat.h.

NumOfBBHasMSSAPhi

const char * MemSSAStat::NumOfBBHasMSSAPhi = "BBHasMSSAPhi"

static

Number of basic blocks which have mssa phi.

Definition at line 75 of file SVFGStat.h.

NumOfCSChi

const char * MemSSAStat::NumOfCSChi = "CSChiNode"

static

Number of call site chi.

Definition at line 63 of file SVFGStat.h.

NumOfCSHasChi

const char * MemSSAStat::NumOfCSHasChi = "CSHasChi"

static

Number of call sites which have chi.

Definition at line 71 of file SVFGStat.h.

NumOfCSHasMu

const char * MemSSAStat::NumOfCSHasMu = "CSHasMu"

static

Number of call sites which have mu.

Definition at line 72 of file SVFGStat.h.

NumOfCSMu

const char * MemSSAStat::NumOfCSMu = "CSMuNode"

static

Number of call site mu.

Definition at line 64 of file SVFGStat.h.

NumOfEntryChi

const char * MemSSAStat::NumOfEntryChi = "FunEntryChi"

static

Number of function entry chi.

Definition at line 61 of file SVFGStat.h.

NumOfFunHasEntryChi

const char * MemSSAStat::NumOfFunHasEntryChi = "FunHasEntryChi"

static

Number of functions which have entry chi.

Definition at line 69 of file SVFGStat.h.

NumOfFunHasRetMu

const char * MemSSAStat::NumOfFunHasRetMu = "FunHasRetMu"

static

Number of functions which have return mu.

Definition at line 70 of file SVFGStat.h.

NumOfLoadHasMu

const char * MemSSAStat::NumOfLoadHasMu = "LoadHasMu"

static

Number of loads which have mu.

Definition at line 73 of file SVFGStat.h.

NumOfLoadMu

const char * MemSSAStat::NumOfLoadMu = "LoadMuNode"

static

Number of load mu.

Definition at line 65 of file SVFGStat.h.

NumOfMaxRegion

const char * MemSSAStat::NumOfMaxRegion = "MaxRegSize"

static

Number of max points-to set in region.

Definition at line 58 of file SVFGStat.h.

NumOfMemRegions

const char * MemSSAStat::NumOfMemRegions = "MemRegions"

static

Number of memory regions.

Definition at line 60 of file SVFGStat.h.

NumOfMSSAPhi

const char * MemSSAStat::NumOfMSSAPhi = "MSSAPhi"

static

Number of mssa phi.

Number of non-top level ptr phi.

Definition at line 67 of file SVFGStat.h.

NumOfRetMu

const char * MemSSAStat::NumOfRetMu = "FunRetMu"

static

Number of function return mu.

Definition at line 62 of file SVFGStat.h.

NumOfStoreChi

const char * MemSSAStat::NumOfStoreChi = "StoreChiNode"

static

Number of store chi.

Definition at line 66 of file SVFGStat.h.

NumOfStoreHasChi

const char * MemSSAStat::NumOfStoreHasChi = "StoreHasChi"

static

Number of stores which have chi.

Definition at line 74 of file SVFGStat.h.

TimeOfCreateMUCHI

const char * MemSSAStat::TimeOfCreateMUCHI = "GenMUCHITime"

static

Time for generating mu/chi for load/store/calls.

Definition at line 54 of file SVFGStat.h.

TimeOfGeneratingMemRegions

const char * MemSSAStat::TimeOfGeneratingMemRegions = "GenRegionTime"

static

Time for allocating regions.

Definition at line 53 of file SVFGStat.h.

TimeOfInsertingPHI

const char * MemSSAStat::TimeOfInsertingPHI = "InsertPHITime"

static

Time for inserting phis.

Definition at line 55 of file SVFGStat.h.

TimeOfSSARenaming

const char * MemSSAStat::TimeOfSSARenaming = "SSARenameTime"

static

Time for SSA rename.

Definition at line 56 of file SVFGStat.h.

TotalTimeOfConstructMemSSA

const char * MemSSAStat::TotalTimeOfConstructMemSSA = "TotalMSSATime"

static

Total time for constructing memory SSA.

Definition at line 52 of file SVFGStat.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Graphs/SVFGStat.h
• /home/runner/work/SVF/SVF/svf/lib/Graphs/SVFGStat.cpp