#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. More...

static const char *	TimeOfGeneratingMemRegions = "GenRegionTime"
	Time for allocating regions. More...

static const char *	TimeOfCreateMUCHI = "GenMUCHITime"
	Time for generating mu/chi for load/store/calls. More...

static const char *	TimeOfInsertingPHI = "InsertPHITime"
	Time for inserting phis. More...

static const char *	TimeOfSSARenaming = "SSARenameTime"
	Time for SSA rename. More...

static const char *	NumOfMaxRegion = "MaxRegSize"
	Number of max points-to set in region. More...

static const char *	NumOfAveragePtsInRegion = "AverageRegSize"
	Number of average points-to set in region. More...

static const char *	NumOfMemRegions = "MemRegions"
	Number of memory regions. More...

static const char *	NumOfEntryChi = "FunEntryChi"
	Number of function entry chi. More...

static const char *	NumOfRetMu = "FunRetMu"
	Number of function return mu. More...

static const char *	NumOfCSChi = "CSChiNode"
	Number of call site chi. More...

static const char *	NumOfCSMu = "CSMuNode"
	Number of call site mu. More...

static const char *	NumOfLoadMu = "LoadMuNode"
	Number of load mu. More...

static const char *	NumOfStoreChi = "StoreChiNode"
	Number of store chi. More...

static const char *	NumOfMSSAPhi = "MSSAPhi"
	Number of mssa phi. More...

static const char *	NumOfFunHasEntryChi = "FunHasEntryChi"
	Number of functions which have entry chi. More...

static const char *	NumOfFunHasRetMu = "FunHasRetMu"
	Number of functions which have return mu. More...

static const char *	NumOfCSHasChi = "CSHasChi"
	Number of call sites which have chi. More...

static const char *	NumOfCSHasMu = "CSHasMu"
	Number of call sites which have mu. More...

static const char *	NumOfLoadHasMu = "LoadHasMu"
	Number of loads which have mu. More...

static const char *	NumOfStoreHasChi = "StoreHasChi"
	Number of stores which have chi. More...

static const char *	NumOfBBHasMSSAPhi = "BBHasMSSAPhi"
	Number of basic blocks which have mssa phi. More...

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. More...

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	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

Public Member Functions

Static Public Attributes

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ MemSSAStat()

◆ ~MemSSAStat()

Member Function Documentation

◆ performStat()

◆ printStat()

Member Data Documentation

◆ mssa

◆ NumOfAveragePtsInRegion

◆ NumOfBBHasMSSAPhi

◆ NumOfCSChi

◆ NumOfCSHasChi

◆ NumOfCSHasMu

◆ NumOfCSMu

◆ NumOfEntryChi

◆ NumOfFunHasEntryChi

◆ NumOfFunHasRetMu

◆ NumOfLoadHasMu

◆ NumOfLoadMu

◆ NumOfMaxRegion

◆ NumOfMemRegions

◆ NumOfMSSAPhi

◆ NumOfRetMu

◆ NumOfStoreChi

◆ NumOfStoreHasChi

◆ TimeOfCreateMUCHI

◆ TimeOfGeneratingMemRegions

◆ TimeOfInsertingPHI

◆ TimeOfSSARenaming

◆ TotalTimeOfConstructMemSSA