SVF::SVFGStat Class Reference

#include <SVFGStat.h>

Inheritance diagram for SVF::SVFGStat:

Public Types
typedef Set< const SVFGNode * >	SVFGNodeSet
typedef OrderedSet< const SVFGEdge * >	SVFGEdgeSet
typedef SCCDetection< SVFG * >	SVFGSCC
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
	SVFGStat (SVFG *g)
virtual	~SVFGStat ()
virtual void	performStat () override
virtual void	printStat (std::string str="") override
virtual void	performSCCStat (SVFGEdgeSet insensitiveCalRetEdges)
void	dirVFEdgeStart ()
void	dirVFEdgeEnd ()
void	indVFEdgeStart ()
void	indVFEdgeEnd ()
void	TLVFNodeStart ()
void	TLVFNodeEnd ()
void	ATVFNodeStart ()
void	ATVFNodeEnd ()
void	sfvgOptStart ()
void	sfvgOptEnd ()
void	addToSources (const SVFGNode *node)
void	addToSinks (const SVFGNode *node)
void	addToForwardSlice (const SVFGNode *node)
void	addToBackwardSlice (const SVFGNode *node)
bool	inForwardSlice (const SVFGNode *node) const
bool	inBackwardSlice (const SVFGNode *node) const
bool	isSource (const SVFGNode *node) const
bool	isSink (const SVFGNode *node) const
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 Member Functions
void	clear ()
void	processGraph ()
void	calculateNodeDegrees (SVFGNode *node, NodeSet &nodeHasIndInEdge, NodeSet &nodeHasIndOutEdge)
NodeID	getSCCRep (SVFGSCC *scc, NodeID id) const
NodeID	nodeInCycle (SVFGSCC *scc, NodeID id) const

Private Attributes
SVFG *	graph
int	numOfNodes
	number of svfg nodes. More...
int	numOfFormalIn
	number of formal in svfg nodes. More...
int	numOfFormalOut
	number of formal out svfg nodes. More...
int	numOfFormalParam
int	numOfFormalRet
int	numOfActualIn
	number of actual in svfg nodes. More...
int	numOfActualOut
	number of actual out svfg nodes. More...
int	numOfActualParam
int	numOfActualRet
int	numOfLoad
	number of load svfg nodes. More...
int	numOfStore
	number of store svfg nodes. More...
int	numOfCopy
int	numOfGep
int	numOfAddr
int	numOfMSSAPhi
	number of mssa phi svfg nodes. More...
int	numOfPhi
int	totalInEdge
	Total number of incoming SVFG edges. More...
int	totalOutEdge
	Total number of outgoing SVFG edges. More...
int	totalIndInEdge
	Total number of indirect SVFG edges. More...
int	totalIndOutEdge
int	totalIndEdgeLabels
	Total number of l –o--> lp. More...
int	totalIndCallEdge
int	totalIndRetEdge
int	totalDirCallEdge
int	totalDirRetEdge
int	avgWeight
	average weight. More...
int	avgInDegree
	average in degrees of SVFG nodes. More...
int	avgOutDegree
	average out degrees of SVFG nodes. More...
u32_t	maxInDegree
	max in degrees of SVFG nodes. More...
u32_t	maxOutDegree
	max out degrees of SVFG nodes. More...
int	avgIndInDegree
	average indirect in degrees of SVFG nodes. More...
int	avgIndOutDegree
	average indirect out degrees of SVFG nodes. More...
u32_t	maxIndInDegree
	max indirect in degrees of SVFG nodes. More...
u32_t	maxIndOutDegree
	max indirect out degrees of SVFG nodes. More...
double	addTopLevelNodeTimeStart
double	addTopLevelNodeTimeEnd
double	addAddrTakenNodeTimeStart
double	addAddrTakenNodeTimeEnd
double	connectDirSVFGEdgeTimeStart
double	connectDirSVFGEdgeTimeEnd
double	connectIndSVFGEdgeTimeStart
double	connectIndSVFGEdgeTimeEnd
double	svfgOptTimeStart
double	svfgOptTimeEnd
SVFGNodeSet	forwardSlice
SVFGNodeSet	backwardSlice
SVFGNodeSet	sources
SVFGNodeSet	sinks

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

Definition at line 92 of file SVFGStat.h.

Member Typedef Documentation

SVFGEdgeSet

typedef OrderedSet<const SVFGEdge*> SVF::SVFGStat::SVFGEdgeSet

Definition at line 96 of file SVFGStat.h.

SVFGNodeSet

typedef Set<const SVFGNode*> SVF::SVFGStat::SVFGNodeSet

Definition at line 95 of file SVFGStat.h.

SVFGSCC

typedef SCCDetection<SVFG*> SVF::SVFGStat::SVFGSCC

Definition at line 97 of file SVFGStat.h.

Constructor & Destructor Documentation

SVFGStat()

SVFGStat::SVFGStat

(

SVFG *

g

)

Constructor

Definition at line 136 of file SVFGStat.cpp.

                          : PTAStat(nullptr)
{
    graph = g;
    clear();
    startClk();
    connectDirSVFGEdgeTimeStart = connectDirSVFGEdgeTimeEnd = 0;
    connectIndSVFGEdgeTimeStart = connectIndSVFGEdgeTimeEnd = 0;
    addTopLevelNodeTimeStart = addTopLevelNodeTimeEnd = 0;
    addAddrTakenNodeTimeStart = addAddrTakenNodeTimeEnd = 0;
    svfgOptTimeStart = svfgOptTimeEnd = 0;
}

~SVFGStat()

virtual SVF::SVFGStat::~SVFGStat ( )

inlinevirtual

Definition at line 101 of file SVFGStat.h.

{}

Member Function Documentation

addToBackwardSlice()

void SVF::SVFGStat::addToBackwardSlice ( const SVFGNode *  node )

inline

Definition at line 249 of file SVFGStat.h.

    {
        backwardSlice.insert(node);
    }

addToForwardSlice()

void SVF::SVFGStat::addToForwardSlice ( const SVFGNode *  node )

inline

Definition at line 245 of file SVFGStat.h.

    {
        forwardSlice.insert(node);
    }

addToSinks()

void SVF::SVFGStat::addToSinks ( const SVFGNode *  node )

inline

Definition at line 241 of file SVFGStat.h.

    {
        sinks.insert(node);
    }

addToSources()

void SVF::SVFGStat::addToSources ( const SVFGNode *  node )

inline

Definition at line 237 of file SVFGStat.h.

    {
        sources.insert(node);
    }

ATVFNodeEnd()

void SVF::SVFGStat::ATVFNodeEnd ( )

inline

Definition at line 144 of file SVFGStat.h.

    {
        addAddrTakenNodeTimeEnd = PTAStat::getClk(true);
    }

ATVFNodeStart()

void SVF::SVFGStat::ATVFNodeStart ( )

inline

Definition at line 139 of file SVFGStat.h.

    {
        addAddrTakenNodeTimeStart = PTAStat::getClk(true);
    }

calculateNodeDegrees()

void SVFGStat::calculateNodeDegrees ( SVFGNode *  node, NodeSet &  nodeHasIndInEdge, NodeSet &  nodeHasIndOutEdge  )

private

Definition at line 302 of file SVFGStat.cpp.

{
    // Incoming edge
    const SVFGEdge::SVFGEdgeSetTy& inEdges = node->getInEdges();
    // total in edge
    if (inEdges.size() > maxInDegree)
        maxInDegree = inEdges.size();
    totalInEdge += inEdges.size();
 
    // indirect in edge
    u32_t indInEdges = 0;
    SVFGEdge::SVFGEdgeSetTy::const_iterator edgeIt = inEdges.begin();
    SVFGEdge::SVFGEdgeSetTy::const_iterator edgeEit = inEdges.end();
    for (; edgeIt != edgeEit; ++edgeIt)
    {
        if (IndirectSVFGEdge* edge = SVFUtil::dyn_cast<IndirectSVFGEdge>(*edgeIt))
        {
            indInEdges++;
            nodeHasIndInEdge.insert(node->getId());
            // get edge's weight
            // TODO: try a new method to calculate weight.
            const NodeBS& cpts = edge->getPointsTo();
            avgWeight += cpts.count();
            totalIndEdgeLabels += cpts.count();
        }
 
        if (SVFUtil::isa<CallDirSVFGEdge>(*edgeIt))
            totalDirCallEdge++;
        else if (SVFUtil::isa<CallIndSVFGEdge>(*edgeIt))
            totalIndCallEdge++;
        else if (SVFUtil::isa<RetDirSVFGEdge>(*edgeIt))
            totalDirRetEdge++;
        else if (SVFUtil::isa<RetIndSVFGEdge>(*edgeIt))
            totalIndRetEdge++;
    }
 
    if (indInEdges > maxIndInDegree)
        maxIndInDegree = indInEdges;
    totalIndInEdge += indInEdges;
 
    /*-----------------------------------------------------*/
 
    // Outgoing edge
    const SVFGEdge::SVFGEdgeSetTy& outEdges = node->getOutEdges();
    // total out edge
    if (outEdges.size() > maxOutDegree)
        maxOutDegree = outEdges.size();
    totalOutEdge += outEdges.size();
 
    // indirect out edge
    u32_t indOutEdges = 0;
    edgeIt = outEdges.begin();
    edgeEit = outEdges.end();
    for (; edgeIt != edgeEit; ++edgeIt)
    {
        if ((*edgeIt)->isIndirectVFGEdge())
        {
            indOutEdges++;
            nodeHasIndOutEdge.insert(node->getId());
        }
    }
 
    if (indOutEdges > maxIndOutDegree)
        maxIndOutDegree = indOutEdges;
    totalIndOutEdge += indOutEdges;
}

clear()

void SVFGStat::clear ( )

private

Definition at line 148 of file SVFGStat.cpp.

{
    numOfNodes = 0;
    numOfFormalIn = numOfFormalOut = numOfFormalParam = numOfFormalRet = 0;
    numOfActualIn = numOfActualOut = numOfActualParam = numOfActualRet = 0;
    numOfLoad = numOfStore = numOfCopy = numOfGep = numOfAddr = 0;
    numOfMSSAPhi = numOfPhi = 0;
    avgWeight = 0;
    avgInDegree = avgOutDegree = 0;
    maxInDegree = maxOutDegree = 0;
    avgIndInDegree = avgIndOutDegree = 0;
    maxIndInDegree = maxIndOutDegree = 0;
 
    totalInEdge = totalOutEdge = 0;
    totalIndInEdge = totalIndOutEdge = 0;
    totalIndEdgeLabels = 0;
 
    totalIndCallEdge = totalIndRetEdge = 0;
    totalDirCallEdge = totalDirRetEdge = 0;
}

dirVFEdgeEnd()

void SVF::SVFGStat::dirVFEdgeEnd ( )

inline

Definition at line 114 of file SVFGStat.h.

    {
        connectDirSVFGEdgeTimeEnd = PTAStat::getClk(true);
    }

dirVFEdgeStart()

void SVF::SVFGStat::dirVFEdgeStart ( )

inline

Definition at line 109 of file SVFGStat.h.

    {
        connectDirSVFGEdgeTimeStart = PTAStat::getClk(true);
    }

getSCCRep()

NodeID SVFGStat::getSCCRep ( SVFGSCC *  scc, NodeID  id  ) const

private

Definition at line 169 of file SVFGStat.cpp.

{
    return scc->repNode(id);
}

inBackwardSlice()

bool SVF::SVFGStat::inBackwardSlice ( const SVFGNode *  node ) const

inline

Definition at line 257 of file SVFGStat.h.

    {
        return backwardSlice.find(node)!=backwardSlice.end();
    }

indVFEdgeEnd()

void SVF::SVFGStat::indVFEdgeEnd ( )

inline

Definition at line 124 of file SVFGStat.h.

    {
        connectIndSVFGEdgeTimeEnd = PTAStat::getClk(true);
    }

indVFEdgeStart()

void SVF::SVFGStat::indVFEdgeStart ( )

inline

Definition at line 119 of file SVFGStat.h.

    {
        connectIndSVFGEdgeTimeStart = PTAStat::getClk(true);
    }

inForwardSlice()

bool SVF::SVFGStat::inForwardSlice ( const SVFGNode *  node ) const

inline

Definition at line 253 of file SVFGStat.h.

    {
        return forwardSlice.find(node)!=forwardSlice.end();
    }

isSink()

bool SVF::SVFGStat::isSink ( const SVFGNode *  node ) const

inline

Definition at line 265 of file SVFGStat.h.

    {
        return sinks.find(node)!=sinks.end();
    }

isSource()

bool SVF::SVFGStat::isSource ( const SVFGNode *  node ) const

inline

Definition at line 261 of file SVFGStat.h.

    {
        return sources.find(node)!=sources.end();
    }

nodeInCycle()

NodeID SVFGStat::nodeInCycle ( SVFGSCC *  scc, NodeID  id  ) const

private

Definition at line 173 of file SVFGStat.cpp.

{
    return scc->isInCycle(id);
}

performSCCStat()

void SVFGStat::performSCCStat ( SVFGEdgeSet  insensitiveCalRetEdges )

virtual

Definition at line 369 of file SVFGStat.cpp.

{
 
    generalNumMap.clear();
    PTNumStatMap.clear();
    timeStatMap.clear();
 
    unsigned totalNode = 0;
    unsigned totalCycle = 0;
    unsigned nodeInCycle = 0;
    unsigned maxNodeInCycle = 0;
    unsigned totalEdge = 0;
    unsigned edgeInCycle = 0;
 
    unsigned totalDirectEdge = 0;
    unsigned directEdgeInCycle = 0;
    unsigned totalIndirectEdge = 0;
    unsigned indirectEdgeInCycle = 0;
    unsigned totalCallEdge = 0;
    unsigned callEdgeInCycle = 0;
    unsigned insensitiveCallEdge = 0;
    unsigned totalRetEdge = 0;
    unsigned retEdgeInCycle = 0;
    unsigned insensitiveRetEdge = 0;
 
    SVFGSCC* svfgSCC = new SVFGSCC(graph);
    svfgSCC->find();
 
    NodeSet sccRepNodeSet;
    SVFG::SVFGNodeIDToNodeMapTy::iterator it = graph->begin();
    SVFG::SVFGNodeIDToNodeMapTy::iterator eit = graph->end();
    for (; it != eit; ++it)
    {
        totalNode++;
        if(svfgSCC->isInCycle(it->first))
        {
            nodeInCycle++;
            sccRepNodeSet.insert(svfgSCC->repNode(it->first));
            const NodeBS& subNodes = svfgSCC->subNodes(it->first);
            if(subNodes.count() > maxNodeInCycle)
                maxNodeInCycle = subNodes.count();
        }
 
        SVFGEdge::SVFGEdgeSetTy::const_iterator edgeIt = it->second->InEdgeBegin();
        SVFGEdge::SVFGEdgeSetTy::const_iterator edgeEit = it->second->InEdgeEnd();
        for (; edgeIt != edgeEit; ++edgeIt)
        {
 
            const SVFGEdge *edge = *edgeIt;
            totalEdge++;
            bool eCycle = false;
            if(getSCCRep(svfgSCC,edge->getSrcID()) == getSCCRep(svfgSCC,edge->getDstID()))
            {
                edgeInCycle++;
                eCycle = true;
            }
 
            if (edge->isDirectVFGEdge())
            {
                totalDirectEdge++;
                if(eCycle)
                    directEdgeInCycle++;
 
            }
            if (edge->isIndirectVFGEdge())
            {
                totalIndirectEdge++;
                if(eCycle)
                    indirectEdgeInCycle++;
            }
            if (edge->isCallVFGEdge())
            {
                totalCallEdge++;
                if(eCycle)
                {
                    callEdgeInCycle++;
                }
 
                if(insensitiveCalRetEdges.find(edge)!=insensitiveCalRetEdges.end())
                {
                    insensitiveCallEdge++;
                }
            }
            if (edge->isRetVFGEdge())
            {
                totalRetEdge++;
                if(eCycle)
                {
                    retEdgeInCycle++;
                }
 
                if(insensitiveCalRetEdges.find(edge)!=insensitiveCalRetEdges.end())
                {
                    insensitiveRetEdge++;
                }
            }
        }
    }
 
 
    totalCycle = sccRepNodeSet.size();
 
 
    PTNumStatMap["TotalNode"] = totalNode;
    PTNumStatMap["TotalCycle"] = totalCycle;
    PTNumStatMap["NodeInCycle"] = nodeInCycle;
    PTNumStatMap["MaxNodeInCycle"] = maxNodeInCycle;
    PTNumStatMap["TotalEdge"] = totalEdge;
    PTNumStatMap["EdgeInCycle"] = edgeInCycle;
 
    PTNumStatMap["TotalDirEdge"] = totalDirectEdge;
    PTNumStatMap["DirEdgeInCycle"] = directEdgeInCycle;
    PTNumStatMap["TotalIndEdge"] = totalIndirectEdge;
    PTNumStatMap["IndEdgeInCycle"] = indirectEdgeInCycle;
 
    PTNumStatMap["TotalCallEdge"] = totalCallEdge;
    PTNumStatMap["CallEdgeInCycle"] = callEdgeInCycle;
    PTNumStatMap["InsenCallEdge"] = insensitiveCallEdge;
 
    PTNumStatMap["TotalRetEdge"] = totalRetEdge;
    PTNumStatMap["RetEdgeInCycle"] = retEdgeInCycle;
    PTNumStatMap["InsenRetEdge"] = insensitiveRetEdge;
 
 
    PTAStat::printStat("SVFG SCC Stat");
 
    delete svfgSCC;
 
}

performStat()

void SVFGStat::performStat ( )

overridevirtual

Implements SVF::SVFStat.

Definition at line 178 of file SVFGStat.cpp.

{
    endClk();
 
    clear();
 
    processGraph();
 
    timeStatMap["TotalTime"] = (endTime - startTime)/TIMEINTERVAL;
 
    timeStatMap["ConnDirEdgeTime"] = (connectDirSVFGEdgeTimeEnd - connectDirSVFGEdgeTimeStart)/TIMEINTERVAL;
 
    timeStatMap["ConnIndEdgeTime"] = (connectIndSVFGEdgeTimeEnd - connectIndSVFGEdgeTimeStart)/TIMEINTERVAL;
 
    timeStatMap["TLNodeTime"] = (addTopLevelNodeTimeEnd - addTopLevelNodeTimeStart)/TIMEINTERVAL;
 
    timeStatMap["ATNodeTime"] = (addAddrTakenNodeTimeEnd - addAddrTakenNodeTimeStart)/TIMEINTERVAL;
 
    timeStatMap["OptTime"] = (svfgOptTimeEnd - svfgOptTimeStart)/TIMEINTERVAL;
 
    PTNumStatMap["TotalNode"] = numOfNodes;
 
    PTNumStatMap["FormalIn"] = numOfFormalIn;
    PTNumStatMap["FormalOut"] = numOfFormalOut;
    PTNumStatMap["FormalParam"] = numOfFormalParam;
    PTNumStatMap["FormalRet"] = numOfFormalRet;
 
    PTNumStatMap["ActualIn"] = numOfActualIn;
    PTNumStatMap["ActualOut"] = numOfActualOut;
    PTNumStatMap["ActualParam"] = numOfActualParam;
    PTNumStatMap["ActualRet"] = numOfActualRet;
 
    PTNumStatMap["Addr"] = numOfAddr;
    PTNumStatMap["Copy"] = numOfCopy;
    PTNumStatMap["Gep"] = numOfGep;
    PTNumStatMap["Store"] = numOfStore;
    PTNumStatMap["Load"] = numOfLoad;
 
    PTNumStatMap["PHI"] = numOfPhi;
    PTNumStatMap["MSSAPhi"] = numOfMSSAPhi;
 
    timeStatMap["AvgWeight"] = (totalIndInEdge == 0) ? 0 : ((double)avgWeight / totalIndInEdge);
 
    PTNumStatMap["TotalEdge"] = totalInEdge;
    PTNumStatMap["DirectEdge"] = totalInEdge - totalIndInEdge;
    PTNumStatMap["IndirectEdge"] = totalIndInEdge;
    PTNumStatMap["IndirectEdgeLabels"] = totalIndEdgeLabels;
 
    PTNumStatMap["IndCallEdge"] = totalIndCallEdge;
    PTNumStatMap["IndRetEdge"] = totalIndRetEdge;
    PTNumStatMap["DirectCallEdge"] = totalDirCallEdge;
    PTNumStatMap["DirectRetEdge"] = totalDirRetEdge;
 
    PTNumStatMap["AvgInDegree"] = avgInDegree;
    PTNumStatMap["AvgOutDegree"] = avgOutDegree;
    PTNumStatMap["MaxInDegree"] = maxInDegree;
    PTNumStatMap["MaxOutDegree"] = maxOutDegree;
 
    PTNumStatMap["AvgIndInDeg"] = avgIndInDegree;
    PTNumStatMap["AvgIndOutDeg"] = avgIndOutDegree;
    PTNumStatMap["MaxIndInDeg"] = maxIndInDegree;
    PTNumStatMap["MaxIndOutDeg"] = maxIndOutDegree;
 
    printStat();
}

printStat()

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

overridevirtual

Reimplemented from SVF::SVFStat.

Definition at line 499 of file SVFGStat.cpp.

{
    PTAStat::printStat("SVFG Statistics");
}

processGraph()

void SVFGStat::processGraph ( )

private

Definition at line 244 of file SVFGStat.cpp.

{
    NodeSet nodeHasIndInEdge;
    NodeSet nodeHasIndOutEdge;
 
    SVFG::SVFGNodeIDToNodeMapTy::iterator it = graph->begin();
    SVFG::SVFGNodeIDToNodeMapTy::iterator eit = graph->end();
    for (; it != eit; ++it)
    {
        numOfNodes++;
        if (SVFUtil::isa<FormalINSVFGNode>(it->second))
            numOfFormalIn++;
        else if (SVFUtil::isa<FormalOUTSVFGNode>(it->second))
            numOfFormalOut++;
        else if (SVFUtil::isa<FormalParmSVFGNode>(it->second))
            numOfFormalParam++;
        else if (SVFUtil::isa<FormalRetSVFGNode>(it->second))
            numOfFormalRet++;
        else if (SVFUtil::isa<ActualINSVFGNode>(it->second))
            numOfActualIn++;
        else if (SVFUtil::isa<ActualOUTSVFGNode>(it->second))
            numOfActualOut++;
        else if (SVFUtil::isa<ActualParmSVFGNode>(it->second))
            numOfActualParam++;
        else if (SVFUtil::isa<ActualRetSVFGNode>(it->second))
            numOfActualRet++;
        else if (SVFUtil::isa<AddrSVFGNode>(it->second))
            numOfAddr++;
        else if (SVFUtil::isa<CopySVFGNode>(it->second))
            numOfCopy++;
        else if (SVFUtil::isa<GepSVFGNode>(it->second))
            numOfGep++;
        else if (SVFUtil::isa<LoadSVFGNode>(it->second))
            numOfLoad++;
        else if (SVFUtil::isa<StoreSVFGNode>(it->second))
            numOfStore++;
        else if (SVFUtil::isa<PHISVFGNode>(it->second))
            numOfPhi++;
        else if (SVFUtil::isa<MSSAPHISVFGNode>(it->second))
            numOfMSSAPhi++;
 
        SVFGNode* node = it->second;
        calculateNodeDegrees(node, nodeHasIndInEdge, nodeHasIndOutEdge);
    }
 
    if (numOfNodes > 0)
    {
        avgInDegree = totalInEdge / numOfNodes;
        avgOutDegree = totalOutEdge / numOfNodes;
    }
 
    if (!nodeHasIndInEdge.empty())
        avgIndInDegree = totalIndInEdge / nodeHasIndInEdge.size();
 
    if (!nodeHasIndOutEdge.empty())
        avgIndOutDegree = totalIndOutEdge / nodeHasIndOutEdge.size();
}

sfvgOptEnd()

void SVF::SVFGStat::sfvgOptEnd ( )

inline

Definition at line 154 of file SVFGStat.h.

    {
        svfgOptTimeEnd = PTAStat::getClk(true);
    }

sfvgOptStart()

void SVF::SVFGStat::sfvgOptStart ( )

inline

Definition at line 149 of file SVFGStat.h.

    {
        svfgOptTimeStart = PTAStat::getClk(true);
    }

TLVFNodeEnd()

void SVF::SVFGStat::TLVFNodeEnd ( )

inline

Definition at line 134 of file SVFGStat.h.

    {
        addTopLevelNodeTimeEnd = PTAStat::getClk(true);
    }

TLVFNodeStart()

void SVF::SVFGStat::TLVFNodeStart ( )

inline

Definition at line 129 of file SVFGStat.h.

    {
        addTopLevelNodeTimeStart = PTAStat::getClk(true);
    }

Member Data Documentation

addAddrTakenNodeTimeEnd

double SVF::SVFGStat::addAddrTakenNodeTimeEnd

private

Definition at line 220 of file SVFGStat.h.

addAddrTakenNodeTimeStart

double SVF::SVFGStat::addAddrTakenNodeTimeStart

private

Definition at line 219 of file SVFGStat.h.

addTopLevelNodeTimeEnd

double SVF::SVFGStat::addTopLevelNodeTimeEnd

private

Definition at line 217 of file SVFGStat.h.

addTopLevelNodeTimeStart

double SVF::SVFGStat::addTopLevelNodeTimeStart

private

Definition at line 216 of file SVFGStat.h.

avgInDegree

int SVF::SVFGStat::avgInDegree

private

average in degrees of SVFG nodes.

Definition at line 206 of file SVFGStat.h.

avgIndInDegree

int SVF::SVFGStat::avgIndInDegree

private

average indirect in degrees of SVFG nodes.

Definition at line 211 of file SVFGStat.h.

avgIndOutDegree

int SVF::SVFGStat::avgIndOutDegree

private

average indirect out degrees of SVFG nodes.

Definition at line 212 of file SVFGStat.h.

avgOutDegree

int SVF::SVFGStat::avgOutDegree

private

average out degrees of SVFG nodes.

Definition at line 207 of file SVFGStat.h.

avgWeight

int SVF::SVFGStat::avgWeight

private

average weight.

Definition at line 204 of file SVFGStat.h.

backwardSlice

SVFGNodeSet SVF::SVFGStat::backwardSlice

private

Definition at line 232 of file SVFGStat.h.

connectDirSVFGEdgeTimeEnd

double SVF::SVFGStat::connectDirSVFGEdgeTimeEnd

private

Definition at line 223 of file SVFGStat.h.

connectDirSVFGEdgeTimeStart

double SVF::SVFGStat::connectDirSVFGEdgeTimeStart

private

Definition at line 222 of file SVFGStat.h.

connectIndSVFGEdgeTimeEnd

double SVF::SVFGStat::connectIndSVFGEdgeTimeEnd

private

Definition at line 226 of file SVFGStat.h.

connectIndSVFGEdgeTimeStart

double SVF::SVFGStat::connectIndSVFGEdgeTimeStart

private

Definition at line 225 of file SVFGStat.h.

forwardSlice

SVFGNodeSet SVF::SVFGStat::forwardSlice

private

Definition at line 231 of file SVFGStat.h.

graph

SVFG* SVF::SVFGStat::graph

private

Definition at line 170 of file SVFGStat.h.

maxInDegree

u32_t SVF::SVFGStat::maxInDegree

private

max in degrees of SVFG nodes.

Definition at line 208 of file SVFGStat.h.

maxIndInDegree

u32_t SVF::SVFGStat::maxIndInDegree

private

max indirect in degrees of SVFG nodes.

Definition at line 213 of file SVFGStat.h.

maxIndOutDegree

u32_t SVF::SVFGStat::maxIndOutDegree

private

max indirect out degrees of SVFG nodes.

Definition at line 214 of file SVFGStat.h.

maxOutDegree

u32_t SVF::SVFGStat::maxOutDegree

private

max out degrees of SVFG nodes.

Definition at line 209 of file SVFGStat.h.

numOfActualIn

int SVF::SVFGStat::numOfActualIn

private

number of actual in svfg nodes.

Definition at line 179 of file SVFGStat.h.

numOfActualOut

int SVF::SVFGStat::numOfActualOut

private

number of actual out svfg nodes.

Definition at line 180 of file SVFGStat.h.

numOfActualParam

int SVF::SVFGStat::numOfActualParam

private

Definition at line 181 of file SVFGStat.h.

numOfActualRet

int SVF::SVFGStat::numOfActualRet

private

Definition at line 182 of file SVFGStat.h.

numOfAddr

int SVF::SVFGStat::numOfAddr

private

Definition at line 188 of file SVFGStat.h.

numOfCopy

int SVF::SVFGStat::numOfCopy

private

Definition at line 186 of file SVFGStat.h.

numOfFormalIn

int SVF::SVFGStat::numOfFormalIn

private

number of formal in svfg nodes.

Definition at line 174 of file SVFGStat.h.

numOfFormalOut

int SVF::SVFGStat::numOfFormalOut

private

number of formal out svfg nodes.

Definition at line 175 of file SVFGStat.h.

numOfFormalParam

int SVF::SVFGStat::numOfFormalParam

private

Definition at line 176 of file SVFGStat.h.

numOfFormalRet

int SVF::SVFGStat::numOfFormalRet

private

Definition at line 177 of file SVFGStat.h.

numOfGep

int SVF::SVFGStat::numOfGep

private

Definition at line 187 of file SVFGStat.h.

numOfLoad

int SVF::SVFGStat::numOfLoad

private

number of load svfg nodes.

Definition at line 184 of file SVFGStat.h.

numOfMSSAPhi

int SVF::SVFGStat::numOfMSSAPhi

private

number of mssa phi svfg nodes.

Definition at line 190 of file SVFGStat.h.

numOfNodes

int SVF::SVFGStat::numOfNodes

private

number of svfg nodes.

Definition at line 172 of file SVFGStat.h.

numOfPhi

int SVF::SVFGStat::numOfPhi

private

Definition at line 191 of file SVFGStat.h.

numOfStore

int SVF::SVFGStat::numOfStore

private

number of store svfg nodes.

Definition at line 185 of file SVFGStat.h.

sinks

SVFGNodeSet SVF::SVFGStat::sinks

private

Definition at line 234 of file SVFGStat.h.

sources

SVFGNodeSet SVF::SVFGStat::sources

private

Definition at line 233 of file SVFGStat.h.

svfgOptTimeEnd

double SVF::SVFGStat::svfgOptTimeEnd

private

Definition at line 229 of file SVFGStat.h.

svfgOptTimeStart

double SVF::SVFGStat::svfgOptTimeStart

private

Definition at line 228 of file SVFGStat.h.

totalDirCallEdge

int SVF::SVFGStat::totalDirCallEdge

private

Definition at line 201 of file SVFGStat.h.

totalDirRetEdge

int SVF::SVFGStat::totalDirRetEdge

private

Definition at line 202 of file SVFGStat.h.

totalIndCallEdge

int SVF::SVFGStat::totalIndCallEdge

private

Definition at line 199 of file SVFGStat.h.

totalIndEdgeLabels

int SVF::SVFGStat::totalIndEdgeLabels

private

Total number of l –o--> lp.

Definition at line 197 of file SVFGStat.h.

totalIndInEdge

int SVF::SVFGStat::totalIndInEdge

private

Total number of indirect SVFG edges.

Definition at line 195 of file SVFGStat.h.

totalIndOutEdge

int SVF::SVFGStat::totalIndOutEdge

private

Definition at line 196 of file SVFGStat.h.

totalIndRetEdge

int SVF::SVFGStat::totalIndRetEdge

private

Definition at line 200 of file SVFGStat.h.

totalInEdge

int SVF::SVFGStat::totalInEdge

private

Total number of incoming SVFG edges.

Definition at line 193 of file SVFGStat.h.

totalOutEdge

int SVF::SVFGStat::totalOutEdge

private

Total number of outgoing SVFG edges.

Definition at line 194 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