SVF::DDAStat Class Reference

#include <DDAStat.h>

Inheritance diagram for SVF::DDAStat:

Public Member Functions
	DDAStat (FlowDDA *pta)
	DDAStat (ContextDDA *pta)
void	performStatPerQuery (NodeID ptr) override
void	performStat () override
void	printStat (std::string str="") override
void	printStatPerQuery (NodeID ptr, const PointsTo &pts) override
void	getNumOfOOBQuery ()
SVFG *	getSVFG () const
PointerAnalysis *	getPTA () const
NodeBS &	getStrongUpdateStores ()
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 ()

Public Attributes
u32_t	_NumOfDPM
u32_t	_NumOfStrongUpdates
u32_t	_NumOfMustAliases
u32_t	_NumOfInfeasiblePath
u64_t	_NumOfStep
u64_t	_NumOfStepInCycle
double	_AnaTimePerQuery
double	_AnaTimeCyclePerQuery
double	_TotalTimeOfQueries
double	_TotalTimeOfBKCondition
NodeBS	_StrongUpdateStores
Public Attributes inherited from SVF::PTAStat
NodeBS	localVarInRecursion
Public Attributes inherited from SVF::SVFStat
NUMStatMap	generalNumMap
NUMStatMap	PTNumStatMap
TIMEStatMap	timeStatMap
double	startTime
double	endTime

Private Member Functions
void	initDefault ()

Private Attributes
FlowDDA *	flowDDA
ContextDDA *	contextDDA
u32_t	_TotalNumOfQuery
u32_t	_TotalNumOfOutOfBudgetQuery
u32_t	_TotalNumOfDPM
u32_t	_TotalNumOfStrongUpdates
u32_t	_TotalNumOfMustAliases
u32_t	_TotalNumOfInfeasiblePath
u32_t	_TotalNumOfStep
u32_t	_TotalNumOfStepInCycle
u32_t	_NumOfIndCallEdgeSolved
u32_t	_MaxCPtsSize
u32_t	_MaxPtsSize
u32_t	_TotalCPtsSize
u32_t	_TotalPtsSize
u32_t	_NumOfNullPtr
u32_t	_NumOfConstantPtr
u32_t	_NumOfBlackholePtr
double	_AvgNumOfDPMAtSVFGNode
u32_t	_MaxNumOfDPMAtSVFGNode
NUMStatMap	NumPerQueryStatMap

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)
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 demand-driven analysis

Definition at line 47 of file DDAStat.h.

Constructor & Destructor Documentation

DDAStat() [1/2]

DDAStat::DDAStat

(

FlowDDA *

pta

)

Definition at line 42 of file DDAStat.cpp.

                             : PTAStat(pta), flowDDA(pta), contextDDA(nullptr)
{
    initDefault();
}

DDAStat() [2/2]

DDAStat::DDAStat

(

ContextDDA *

pta

)

Definition at line 46 of file DDAStat.cpp.

                                : PTAStat(pta), flowDDA(nullptr), contextDDA(pta)
{
    initDefault();
}

Member Function Documentation

getNumOfOOBQuery()

void DDAStat::getNumOfOOBQuery

(

)

Definition at line 209 of file DDAStat.cpp.

{
    if (flowDDA)
        _TotalNumOfOutOfBudgetQuery = flowDDA->outOfBudgetDpms.size();
    else if (contextDDA)
        _TotalNumOfOutOfBudgetQuery = contextDDA->outOfBudgetDpms.size();
}

getPTA()

PointerAnalysis * DDAStat::getPTA

(

)

const

Definition at line 96 of file DDAStat.cpp.

{
    if(flowDDA)
        return flowDDA;
    else
        return contextDDA;
}

getStrongUpdateStores()

NodeBS & SVF::DDAStat::getStrongUpdateStores ( )

inline

Definition at line 113 of file DDAStat.h.

    {
        return _StrongUpdateStores;
    }

getSVFG()

SVFG * DDAStat::getSVFG

(

)

const

Definition at line 87 of file DDAStat.cpp.

{
    if(flowDDA)
        return flowDDA->getSVFG();
    else
        return contextDDA->getSVFG();
 
}

initDefault()

void DDAStat::initDefault ( )

private

Definition at line 51 of file DDAStat.cpp.

{
    _TotalNumOfQuery = 0;
    _TotalNumOfOutOfBudgetQuery = 0;
    _TotalNumOfDPM = 0;
    _TotalNumOfStrongUpdates = 0;
    _TotalNumOfMustAliases = 0;
    _TotalNumOfInfeasiblePath = 0;
    _TotalNumOfStep = 0;
    _TotalNumOfStepInCycle = 0;
 
    _NumOfIndCallEdgeSolved = 0;
    _MaxCPtsSize = _MaxPtsSize = 0;
    _TotalCPtsSize = _TotalPtsSize = 0;
    _NumOfNullPtr = 0;
    _NumOfConstantPtr = 0;
    _NumOfBlackholePtr = 0;
    _AvgNumOfDPMAtSVFGNode = 0;
    _MaxNumOfDPMAtSVFGNode = 0;
    _TotalTimeOfQueries = 0;
    _AnaTimePerQuery = 0;
    _AnaTimeCyclePerQuery = 0;
 
 
    _NumOfDPM = 0;
    _NumOfStrongUpdates = 0;
    _NumOfMustAliases = 0;
    _NumOfInfeasiblePath = 0;
 
    _NumOfStep = 0;
    _NumOfStepInCycle = 0;
    _AnaTimePerQuery = 0;
    _AnaTimeCyclePerQuery = 0;
    _TotalTimeOfQueries = 0;
}

performStat()

void DDAStat::performStat ( )

overridevirtual

Implements SVF::SVFStat.

Definition at line 217 of file DDAStat.cpp.

{
 
    generalNumMap.clear();
    PTNumStatMap.clear();
    timeStatMap.clear();
 
    callgraphStat();
 
    getNumOfOOBQuery();
 
    for (SVFIR::const_iterator nodeIt = SVFIR::getPAG()->begin(), nodeEit = SVFIR::getPAG()->end(); nodeIt != nodeEit; nodeIt++)
    {
        PAGNode* pagNode = nodeIt->second;
        if(SVFUtil::isa<ObjVar>(pagNode))
        {
            if(getPTA()->isLocalVarInRecursiveFun(nodeIt->first))
            {
                localVarInRecursion.set(nodeIt->first);
            }
        }
    }
 
    timeStatMap["TotalQueryTime"] =  _TotalTimeOfQueries/TIMEINTERVAL;
    timeStatMap["AvgTimePerQuery"] =  (_TotalTimeOfQueries/TIMEINTERVAL)/_TotalNumOfQuery;
    timeStatMap["TotalBKCondTime"] =  (_TotalTimeOfBKCondition/TIMEINTERVAL);
 
    PTNumStatMap["NumOfQuery"] = _TotalNumOfQuery;
    PTNumStatMap["NumOfOOBQuery"] = _TotalNumOfOutOfBudgetQuery;
    PTNumStatMap["NumOfDPM"] = _TotalNumOfDPM;
    PTNumStatMap["NumOfSU"] = _TotalNumOfStrongUpdates;
    PTNumStatMap["NumOfStoreSU"] = _StrongUpdateStores.count();
    PTNumStatMap["NumOfStep"] =  _TotalNumOfStep;
    PTNumStatMap["NumOfStepInCycle"] =  _TotalNumOfStepInCycle;
    timeStatMap["AvgDPMAtLoc"] = (double)_AvgNumOfDPMAtSVFGNode/_TotalNumOfQuery;
    PTNumStatMap["MaxDPMAtLoc"] = _MaxNumOfDPMAtSVFGNode;
    PTNumStatMap["MaxPathPerQuery"] = ContextCond::maximumPath;
    PTNumStatMap["MaxCxtPerQuery"] = ContextCond::maximumCxt;
    PTNumStatMap["MaxCPtsSize"] = _MaxCPtsSize;
    PTNumStatMap["MaxPtsSize"] = _MaxPtsSize;
    timeStatMap["AvgCPtsSize"] = (double)_TotalCPtsSize/_TotalNumOfQuery;
    timeStatMap["AvgPtsSize"] = (double)_TotalPtsSize/_TotalNumOfQuery;
    PTNumStatMap["IndEdgeSolved"] = getPTA()->getNumOfResolvedIndCallEdge();
    PTNumStatMap["NumOfNullPtr"] = _NumOfNullPtr;
    PTNumStatMap["PointsToConstPtr"] = _NumOfConstantPtr;
    PTNumStatMap["PointsToBlkPtr"] = _NumOfBlackholePtr;
    PTNumStatMap["NumOfMustAA"] = _TotalNumOfMustAliases;
    PTNumStatMap["NumOfInfePath"] = _TotalNumOfInfeasiblePath;
    PTNumStatMap["NumOfStore"] = SVFIR::getPAG()->getPTASVFStmtSet(SVFStmt::Store).size();
    timeStatMap["MemoryUsageVmrss"] = _vmrssUsageAfter - _vmrssUsageBefore;
    timeStatMap["MemoryUsageVmsize"] = _vmsizeUsageAfter - _vmsizeUsageBefore;
 
    printStat();
}

performStatPerQuery()

void DDAStat::performStatPerQuery ( NodeID  ptr )

overridevirtual

reset numbers for next query

Reimplemented from SVF::SVFStat.

Definition at line 104 of file DDAStat.cpp.

{
 
    u32_t NumOfDPM = 0;
    u32_t NumOfLoc = 0;
    u32_t maxNumOfDPMPerLoc = 0;
    u32_t cptsSize = 0;
    PointsTo pts;
    if(flowDDA)
    {
        for(FlowDDA::LocToDPMVecMap::const_iterator it =  flowDDA->getLocToDPMVecMap().begin(),
                eit = flowDDA->getLocToDPMVecMap().end(); it!=eit; ++it)
        {
            NumOfLoc++;
            u32_t num = it->second.size();
            NumOfDPM += num;
            if(num > maxNumOfDPMPerLoc)
                maxNumOfDPMPerLoc = num;
        }
        cptsSize = flowDDA->getPts(ptr).count();
        pts = flowDDA->getPts(ptr);
    }
    else if(contextDDA)
    {
        for(ContextDDA::LocToDPMVecMap::const_iterator it =  contextDDA->getLocToDPMVecMap().begin(),
                eit = contextDDA->getLocToDPMVecMap().end(); it!=eit; ++it)
        {
            NumOfLoc++;
            u32_t num = it->second.size();
            NumOfDPM += num;
            if(num > maxNumOfDPMPerLoc)
                maxNumOfDPMPerLoc = num;
        }
        ContextCond cxt;
        CxtVar var(cxt,ptr);
        cptsSize = contextDDA->getPts(var).count();
        pts = contextDDA->getBVPointsTo(contextDDA->getPts(var));
    }
    u32_t ptsSize = pts.count();
 
    double avgDPMAtLoc = NumOfLoc!=0 ? (double)NumOfDPM/NumOfLoc : 0;
    _AvgNumOfDPMAtSVFGNode += avgDPMAtLoc;
    if(maxNumOfDPMPerLoc > _MaxNumOfDPMAtSVFGNode)
        _MaxNumOfDPMAtSVFGNode = maxNumOfDPMPerLoc;
 
    _TotalCPtsSize += cptsSize;
    if (_MaxCPtsSize < cptsSize)
        _MaxCPtsSize = cptsSize;
 
    _TotalPtsSize += ptsSize;
    if(_MaxPtsSize < ptsSize)
        _MaxPtsSize = ptsSize;
 
    if(cptsSize == 0)
        _NumOfNullPtr++;
 
    if(getPTA()->containBlackHoleNode(pts))
    {
        _NumOfConstantPtr++;
    }
    if(getPTA()->containConstantNode(pts))
    {
        _NumOfBlackholePtr++;
    }
 
    _TotalNumOfQuery++;
    _TotalNumOfDPM += _NumOfDPM;
    _TotalNumOfStrongUpdates += _NumOfStrongUpdates;
    _TotalNumOfMustAliases += _NumOfMustAliases;
    _TotalNumOfInfeasiblePath += _NumOfInfeasiblePath;
 
    _TotalNumOfStep += _NumOfStep;
    _TotalNumOfStepInCycle += _NumOfStepInCycle;
 
    timeStatMap.clear();
    NumPerQueryStatMap.clear();
 
    timeStatMap["TimePerQuery"] = _AnaTimePerQuery/TIMEINTERVAL;
    timeStatMap["CyleTimePerQuery"] = _AnaTimeCyclePerQuery/TIMEINTERVAL;
 
    NumPerQueryStatMap["CPtsSize"] = cptsSize;
    NumPerQueryStatMap["PtsSize"] = ptsSize;
    NumPerQueryStatMap["NumOfStep"] = _NumOfStep;
    NumPerQueryStatMap["NumOfStepInCycle"] = _NumOfStepInCycle;
    NumPerQueryStatMap["NumOfDPM"] = _NumOfDPM;
    NumPerQueryStatMap["NumOfSU"] = _NumOfStrongUpdates;
    NumPerQueryStatMap["IndEdgeResolved"] = getPTA()->getNumOfResolvedIndCallEdge() - _NumOfIndCallEdgeSolved;
    NumPerQueryStatMap["AvgDPMAtLoc"] = avgDPMAtLoc;
    NumPerQueryStatMap["MaxDPMAtLoc"] = maxNumOfDPMPerLoc;
    NumPerQueryStatMap["MaxPathPerQuery"] = ContextCond::maximumPath;
    NumPerQueryStatMap["MaxCxtPerQuery"] = ContextCond::maximumCxt;
    NumPerQueryStatMap["NumOfMustAA"] = _NumOfMustAliases;
    NumPerQueryStatMap["NumOfInfePath"] = _NumOfInfeasiblePath;
 
    _NumOfStep = 0;
    _NumOfStepInCycle = 0;
    _NumOfDPM = 0;
    _NumOfStrongUpdates = 0;
    _NumOfMustAliases = 0;
    _NumOfInfeasiblePath = 0;
    _AnaTimeCyclePerQuery = 0;
    _NumOfIndCallEdgeSolved = getPTA()->getNumOfResolvedIndCallEdge();
}

printStat()

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

overridevirtual

Reimplemented from SVF::SVFStat.

Definition at line 295 of file DDAStat.cpp.

{
 
    if(flowDDA)
    {
        FlowDDA::ConstSVFGEdgeSet edgeSet;
        flowDDA->getSVFG()->getStat()->performSCCStat(edgeSet);
    }
    else if(contextDDA)
    {
        contextDDA->getSVFG()->getStat()->performSCCStat(contextDDA->getInsensitiveEdgeSet());
    }
 
    SVFUtil::outs() << "\n****Demand-Driven Pointer Analysis Statistics****\n";
    PTAStat::printStat(str);
}

printStatPerQuery()

void DDAStat::printStatPerQuery ( NodeID  ptr, const PointsTo &  pts  )

overridevirtual

Reimplemented from SVF::SVFStat.

Definition at line 272 of file DDAStat.cpp.

{
 
    if (timeStatMap.empty() == false && NumPerQueryStatMap.empty() == false)
    {
        SVFUtil::outs().flags(std::ios::left);
        unsigned field_width = 20;
        SVFUtil::outs() << "---------------------Stat Per Query--------------------------------\n";
        for (TIMEStatMap::iterator it = timeStatMap.begin(), eit = timeStatMap.end(); it != eit; ++it)
        {
            // format out put with width 20 space
            SVFUtil::outs() << std::setw(field_width) << it->first << it->second << "\n";
        }
        for (NUMStatMap::iterator it = NumPerQueryStatMap.begin(), eit = NumPerQueryStatMap.end(); it != eit; ++it)
        {
            // format out put with width 20 space
            SVFUtil::outs() << std::setw(field_width) << it->first << it->second << "\n";
        }
    }
    getPTA()->dumpPts(ptr, pts);
}

Member Data Documentation

_AnaTimeCyclePerQuery

double SVF::DDAStat::_AnaTimeCyclePerQuery

Definition at line 62 of file DDAStat.h.

_AnaTimePerQuery

double SVF::DDAStat::_AnaTimePerQuery

Definition at line 61 of file DDAStat.h.

_AvgNumOfDPMAtSVFGNode

double SVF::DDAStat::_AvgNumOfDPMAtSVFGNode

private

Definition at line 101 of file DDAStat.h.

_MaxCPtsSize

u32_t SVF::DDAStat::_MaxCPtsSize

private

Definition at line 93 of file DDAStat.h.

_MaxNumOfDPMAtSVFGNode

u32_t SVF::DDAStat::_MaxNumOfDPMAtSVFGNode

private

Definition at line 102 of file DDAStat.h.

_MaxPtsSize

u32_t SVF::DDAStat::_MaxPtsSize

private

Definition at line 94 of file DDAStat.h.

_NumOfBlackholePtr

u32_t SVF::DDAStat::_NumOfBlackholePtr

private

Definition at line 99 of file DDAStat.h.

_NumOfConstantPtr

u32_t SVF::DDAStat::_NumOfConstantPtr

private

Definition at line 98 of file DDAStat.h.

_NumOfDPM

u32_t SVF::DDAStat::_NumOfDPM

Definition at line 54 of file DDAStat.h.

_NumOfIndCallEdgeSolved

u32_t SVF::DDAStat::_NumOfIndCallEdgeSolved

private

Definition at line 92 of file DDAStat.h.

_NumOfInfeasiblePath

u32_t SVF::DDAStat::_NumOfInfeasiblePath

Definition at line 57 of file DDAStat.h.

_NumOfMustAliases

u32_t SVF::DDAStat::_NumOfMustAliases

Definition at line 56 of file DDAStat.h.

_NumOfNullPtr

u32_t SVF::DDAStat::_NumOfNullPtr

private

Definition at line 97 of file DDAStat.h.

_NumOfStep

u64_t SVF::DDAStat::_NumOfStep

Definition at line 59 of file DDAStat.h.

_NumOfStepInCycle

u64_t SVF::DDAStat::_NumOfStepInCycle

Definition at line 60 of file DDAStat.h.

_NumOfStrongUpdates

u32_t SVF::DDAStat::_NumOfStrongUpdates

Definition at line 55 of file DDAStat.h.

_StrongUpdateStores

NodeBS SVF::DDAStat::_StrongUpdateStores

Definition at line 66 of file DDAStat.h.

_TotalCPtsSize

u32_t SVF::DDAStat::_TotalCPtsSize

private

Definition at line 95 of file DDAStat.h.

_TotalNumOfDPM

u32_t SVF::DDAStat::_TotalNumOfDPM

private

Definition at line 84 of file DDAStat.h.

_TotalNumOfInfeasiblePath

u32_t SVF::DDAStat::_TotalNumOfInfeasiblePath

private

Definition at line 87 of file DDAStat.h.

_TotalNumOfMustAliases

u32_t SVF::DDAStat::_TotalNumOfMustAliases

private

Definition at line 86 of file DDAStat.h.

_TotalNumOfOutOfBudgetQuery

u32_t SVF::DDAStat::_TotalNumOfOutOfBudgetQuery

private

Definition at line 83 of file DDAStat.h.

_TotalNumOfQuery

u32_t SVF::DDAStat::_TotalNumOfQuery

private

Definition at line 82 of file DDAStat.h.

_TotalNumOfStep

u32_t SVF::DDAStat::_TotalNumOfStep

private

Definition at line 89 of file DDAStat.h.

_TotalNumOfStepInCycle

u32_t SVF::DDAStat::_TotalNumOfStepInCycle

private

Definition at line 90 of file DDAStat.h.

_TotalNumOfStrongUpdates

u32_t SVF::DDAStat::_TotalNumOfStrongUpdates

private

Definition at line 85 of file DDAStat.h.

_TotalPtsSize

u32_t SVF::DDAStat::_TotalPtsSize

private

Definition at line 96 of file DDAStat.h.

_TotalTimeOfBKCondition

double SVF::DDAStat::_TotalTimeOfBKCondition

Definition at line 64 of file DDAStat.h.

_TotalTimeOfQueries

double SVF::DDAStat::_TotalTimeOfQueries

Definition at line 63 of file DDAStat.h.

contextDDA

ContextDDA* SVF::DDAStat::contextDDA

private

Definition at line 80 of file DDAStat.h.

flowDDA

FlowDDA* SVF::DDAStat::flowDDA

private

Definition at line 79 of file DDAStat.h.

NumPerQueryStatMap

NUMStatMap SVF::DDAStat::NumPerQueryStatMap

private

Definition at line 104 of file DDAStat.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/DDA/DDAStat.h
• /home/runner/work/SVF/SVF/svf/lib/DDA/DDAStat.cpp