SVF::CFLStat Class Reference

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

    {
    }

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