#include <CFLStat.h>

Inheritance diagram for SVF::CFLStat:

Public Member Functions
	CFLStat (CFLBase *p)

virtual	~CFLStat ()

virtual void	performStat ()

void	CFLGraphStat ()

void	CFLGrammarStat ()

void	CFLSolverStat ()

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	printStat (std::string str="")

virtual void	performStatPerQuery (NodeID)

virtual void	printStatPerQuery (NodeID, const PointsTo &)

Private Attributes
CFLBase *	pta

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

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

Protected Attributes inherited from SVF::PTAStat
PointerAnalysis *	pta

u32_t	_vmrssUsageBefore

u32_t	_vmrssUsageAfter

u32_t	_vmsizeUsageBefore

u32_t	_vmsizeUsageAfter

Detailed Description

Statistics of CFL's analysis

Definition at line 44 of file CFLStat.h.

Constructor & Destructor Documentation

◆ CFLStat()

CFLStat::CFLStat ( CFLBase * p )

Constructor

Definition at line 39 of file CFLStat.cpp.

                           : PTAStat(p),pta(p)
 {
     startClk();
 }

◆ ~CFLStat()

virtual SVF::CFLStat::~CFLStat ( )

inlinevirtual

Definition at line 52 of file CFLStat.h.

53 {

54 }

Member Function Documentation

◆ CFLGrammarStat()

void CFLStat::CFLGrammarStat ( )

Definition at line 59 of file CFLStat.cpp.

 {
     timeStatMap["BuildingTime"] = pta->timeOfBuildCFLGrammar;
     timeStatMap["NormalizationTime"] = pta->timeOfNormalizeGrammar;
  
     PTAStat::printStat("CFLGrammar Stats");
 }

◆ CFLGraphStat()

void CFLStat::CFLGraphStat ( )

Collect CFLGraph information

Definition at line 47 of file CFLStat.cpp.

 {
     pta->countSumEdges();
     CFLGraph* CFLGraph = pta->getCFLGraph();
  
     timeStatMap["BuildingTime"] = pta->timeOfBuildCFLGraph;
     PTNumStatMap["NumOfNodes"] = CFLGraph->getTotalNodeNum();
     PTNumStatMap["NumOfEdges"] = CFLGraph->getCFLEdges().size();
  
     PTAStat::printStat("CFLGraph Stats");
 }

◆ CFLSolverStat()

void CFLStat::CFLSolverStat ( )

Definition at line 67 of file CFLStat.cpp.

 {
     timeStatMap["AnalysisTime"] = pta->timeOfSolving;
     PTNumStatMap["numOfChecks"] = pta->numOfChecks;
     PTNumStatMap["numOfIteration"] = pta->numOfIteration;
     PTNumStatMap["SumEdges"] = pta->numOfStartEdges;
  
     PTAStat::printStat("CFL-reachability Solver Stats");
 }

◆ performStat()

void CFLStat::performStat ( )

virtual

Start here

Implements SVF::SVFStat.

Definition at line 80 of file CFLStat.cpp.

 {
     assert((SVFUtil::isa<CFLAlias, CFLVF>(pta)) && "not an CFLAlias pass!! what else??");
     endClk();
  
     // Grammar stat
     CFLGrammarStat();
  
     // CFLGraph stat
     CFLGraphStat();
  
     // Solver stat
     CFLSolverStat();
  
     // Stat about Call graph and General stat
     PTAStat::performStat();
 }

Member Data Documentation

◆ pta

CFLBase* SVF::CFLStat::pta

private

Definition at line 47 of file CFLStat.h.

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

/home/runner/work/SVF/SVF/svf/include/CFL/CFLStat.h
/home/runner/work/SVF/SVF/svf/lib/CFL/CFLStat.cpp

Public Member Functions

Private Attributes

Additional Inherited Members