SVF::ICFGStat Class Reference

#include <ICFGStat.h>

Inheritance diagram for SVF::ICFGStat:

Public Types
typedef Set< const ICFGNode * >	ICFGNodeSet
Public Types inherited from SVF::SVFStat
enum	ClockType { Wall , CPU }
typedef OrderedMap< std::string, u32_t >	NUMStatMap
typedef OrderedMap< std::string, double >	TIMEStatMap

Public Member Functions
	ICFGStat (ICFG *cfg)
void	performStat ()
void	performStatforIFDS ()
void	countStat ()
void	printStat (std::string statname)
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 &)

Private Attributes
ICFG *	icfg
int	numOfNodes
int	numOfCallNodes
int	numOfRetNodes
int	numOfEntryNodes
int	numOfExitNodes
int	numOfIntraNodes
int	numOfEdges
int	numOfCallEdges
int	numOfRetEdges
int	numOfIntraEdges

Additional Inherited Members
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

Definition at line 39 of file ICFGStat.h.

Member Typedef Documentation

ICFGNodeSet

typedef Set<const ICFGNode *> SVF::ICFGStat::ICFGNodeSet

Definition at line 57 of file ICFGStat.h.

Constructor & Destructor Documentation

ICFGStat()

SVF::ICFGStat::ICFGStat ( ICFG *  cfg )

inline

Definition at line 59 of file ICFGStat.h.

                        : PTAStat(nullptr), icfg(cfg)
    {
        numOfNodes = 0;
        numOfCallNodes = 0;
        numOfRetNodes = 0;
        numOfEntryNodes = 0;
        numOfExitNodes = 0;
        numOfIntraNodes = 0;
 
        numOfEdges = 0;
        numOfCallEdges = 0;
        numOfRetEdges = 0;
        numOfIntraEdges = 0;
 
    }

Member Function Documentation

countStat()

void SVF::ICFGStat::countStat ( )

inline

Definition at line 105 of file ICFGStat.h.

    {
        ICFG::ICFGNodeIDToNodeMapTy::iterator it = icfg->begin();
        ICFG::ICFGNodeIDToNodeMapTy::iterator eit = icfg->end();
        for (; it != eit; ++it)
        {
            numOfNodes++;
 
            ICFGNode *node = it->second;
 
            if (SVFUtil::isa<IntraICFGNode>(node))
                numOfIntraNodes++;
            else if (SVFUtil::isa<CallICFGNode>(node))
                numOfCallNodes++;
            else if (SVFUtil::isa<RetICFGNode>(node))
                numOfRetNodes++;
            else if (SVFUtil::isa<FunEntryICFGNode>(node))
                numOfEntryNodes++;
            else if (SVFUtil::isa<FunExitICFGNode>(node))
                numOfExitNodes++;
 
 
            ICFGEdge::ICFGEdgeSetTy::iterator edgeIt =
                it->second->OutEdgeBegin();
            ICFGEdge::ICFGEdgeSetTy::iterator edgeEit =
                it->second->OutEdgeEnd();
            for (; edgeIt != edgeEit; ++edgeIt)
            {
                const ICFGEdge *edge = *edgeIt;
                numOfEdges++;
                if (edge->isCallCFGEdge())
                    numOfCallEdges++;
                else if (edge->isRetCFGEdge())
                    numOfRetEdges++;
                else if (edge->isIntraCFGEdge())
                    numOfIntraEdges++;
            }
        }
    }

performStat()

void SVF::ICFGStat::performStat ( )

inlinevirtual

Implements SVF::SVFStat.

Definition at line 75 of file ICFGStat.h.

    {
 
        countStat();
 
        PTNumStatMap["ICFGNode"] = numOfNodes;
        PTNumStatMap["IntraICFGNode"] = numOfIntraNodes;
        PTNumStatMap["CallICFGNode"] = numOfCallNodes;
        PTNumStatMap["RetICFGNode"] = numOfRetNodes;
        PTNumStatMap["FunEntryICFGNode"] = numOfEntryNodes;
        PTNumStatMap["FunExitICFGNode"] = numOfExitNodes;
 
        PTNumStatMap["ICFGEdge"] = numOfEdges;
        PTNumStatMap["CallCFGEdge"] = numOfCallEdges;
        PTNumStatMap["RetCFGEdge"] = numOfRetEdges;
        PTNumStatMap["IntraCFGEdge"] = numOfIntraEdges;
 
        printStat("ICFG Stat");
    }

performStatforIFDS()

void SVF::ICFGStat::performStatforIFDS ( )

inline

Definition at line 95 of file ICFGStat.h.

    {
 
        countStat();
        PTNumStatMap["ICFGNode(N)"] = numOfNodes;
        PTNumStatMap["CallICFGNode(Call)"] = numOfCallNodes;
        PTNumStatMap["ICFGEdge(E)"] = numOfEdges;
        printStat("IFDS Stat");
    }

printStat()

void SVF::ICFGStat::printStat ( std::string  statname )

inlinevirtual

Reimplemented from SVF::SVFStat.

Definition at line 145 of file ICFGStat.h.

    {
 
        SVFUtil::outs() << "\n************ " << statname << " ***************\n";
        SVFUtil::outs().flags(std::ios::left);
        unsigned field_width = 20;
        for(NUMStatMap::iterator it = PTNumStatMap.begin(), eit = PTNumStatMap.end(); it!=eit; ++it)
        {
            // format out put with width 20 space
            SVFUtil::outs() << std::setw(field_width) << it->first << it->second << "\n";
        }
        PTNumStatMap.clear();
        SVFUtil::outs().flush();
    }

Member Data Documentation

icfg

ICFG* SVF::ICFGStat::icfg

private

Definition at line 43 of file ICFGStat.h.

numOfCallEdges

int SVF::ICFGStat::numOfCallEdges

private

Definition at line 52 of file ICFGStat.h.

numOfCallNodes

int SVF::ICFGStat::numOfCallNodes

private

Definition at line 45 of file ICFGStat.h.

numOfEdges

int SVF::ICFGStat::numOfEdges

private

Definition at line 51 of file ICFGStat.h.

numOfEntryNodes

int SVF::ICFGStat::numOfEntryNodes

private

Definition at line 47 of file ICFGStat.h.

numOfExitNodes

int SVF::ICFGStat::numOfExitNodes

private

Definition at line 48 of file ICFGStat.h.

numOfIntraEdges

int SVF::ICFGStat::numOfIntraEdges

private

Definition at line 54 of file ICFGStat.h.

numOfIntraNodes

int SVF::ICFGStat::numOfIntraNodes

private

Definition at line 49 of file ICFGStat.h.

numOfNodes

int SVF::ICFGStat::numOfNodes

private

Definition at line 44 of file ICFGStat.h.

numOfRetEdges

int SVF::ICFGStat::numOfRetEdges

private

Definition at line 53 of file ICFGStat.h.

numOfRetNodes

int SVF::ICFGStat::numOfRetNodes

private

Definition at line 46 of file ICFGStat.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Graphs/ICFGStat.h