SVF::VersionedFlowSensitiveStat Class Reference

#include <WPAStat.h>

Inheritance diagram for SVF::VersionedFlowSensitiveStat:

Public Member Functions
	VersionedFlowSensitiveStat (VersionedFlowSensitive *pta)
virtual	~VersionedFlowSensitiveStat ()
virtual void	performStat ()
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	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 &)

Public Attributes
VersionedFlowSensitive *	vfspta
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	clearStat ()
void	versionStat (void)
	For all version-related statistics.
void	ptsSizeStat (void)
	For all PTS size related statistics not handled by versionStat.

Private Attributes
u32_t	_NumVersions
	Total number of versions across all objects.
u32_t	_MaxVersions
	Most versions for a single object.
u32_t	_NumUsedVersions
	Number of version PTSs actually used (sum of next two fields).
u32_t	_NumNonEmptyVersions
	Number of versions with non-empty points-to sets (since versioning is over-approximate).
u32_t	_NumEmptyVersions
	Number of versions with empty points-to sets (actually empty, not never-accessed).
u32_t	_NumSingleVersion
	Number of objects which have a single version.
u32_t	_MaxPtsSize
	Largest PTS size.
u32_t	_MaxTopLvlPtsSize
	Max points-to set size in top-level pointers.
u32_t	_MaxVersionPtsSize
	Max address-taken points-to set size.
u32_t	_TotalPtsSize
	Total of points-to set sizes for calculating averages.
double	_AvgPtsSize
	Average size across all points-to sets.
double	_AvgTopLvlPtsSize
	Average points-to set size for top-level pointers.
double	_AvgVersionPtsSize
	Average points-to set size for address-taken objects.

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

Definition at line 165 of file WPAStat.h.

Constructor & Destructor Documentation

VersionedFlowSensitiveStat()

SVF::VersionedFlowSensitiveStat::VersionedFlowSensitiveStat ( VersionedFlowSensitive *  pta )

inline

Definition at line 170 of file WPAStat.h.

                                                           : PTAStat(pta)
    {
        vfspta = pta;
        clearStat();
        startClk();
    }

~VersionedFlowSensitiveStat()

virtual SVF::VersionedFlowSensitiveStat::~VersionedFlowSensitiveStat ( )

inlinevirtual

Definition at line 177 of file WPAStat.h.

{ }

Member Function Documentation

clearStat()

void VersionedFlowSensitiveStat::clearStat ( )

private

Definition at line 18 of file VersionedFlowSensitiveStat.cpp.

{
    _NumVersions         = 0;
    _MaxVersions         = 0;
    _NumNonEmptyVersions = 0;
    _NumSingleVersion    = 0;
    _NumUsedVersions     = 0;
    _NumEmptyVersions    = 0;
    _MaxPtsSize          = 0;
    _MaxTopLvlPtsSize    = 0;
    _MaxVersionPtsSize   = 0;
    _TotalPtsSize        = 0;
    _AvgPtsSize          = 0.0;
    _AvgTopLvlPtsSize    = 0.0;
    _AvgVersionPtsSize   = 0.0;
}

performStat()

void VersionedFlowSensitiveStat::performStat ( )

virtual

Reimplemented from SVF::PTAStat.

Definition at line 35 of file VersionedFlowSensitiveStat.cpp.

{
    // Largely based on that in FlowSensitiveStat. Would be better to split the FSStat version
    // and reuse code rather than copy.
    assert(SVFUtil::isa<VersionedFlowSensitive>(vfspta) && "VFSStat::performStat: not given VFSPTA.");
    endClk();
 
    clearStat();
 
    SVFIR *pag = vfspta->getPAG();
 
    versionStat();
    ptsSizeStat();
 
    u32_t fiObjNumber = 0;
    u32_t fsObjNumber = 0;
    Set<SymID> nodeSet;
    for (SVFIR::const_iterator it = pag->begin(); it != pag->end(); ++it)
    {
        NodeID nodeId = it->first;
        PAGNode* pagNode = it->second;
        if (SVFUtil::isa<ObjVar>(pagNode))
        {
            const MemObj *memObj = pag->getBaseObj(nodeId);
            SymID baseId = memObj->getId();
            if (nodeSet.insert(baseId).second)
            {
                if (memObj->isFieldInsensitive()) fiObjNumber++;
                else fsObjNumber++;
            }
        }
    }
 
    PTNumStatMap["FIObjNum"] = fiObjNumber;
    PTNumStatMap["FSObjNum"] = fsObjNumber;
 
    unsigned numOfCopy = 0;
    unsigned numOfStore = 0;
    for (SVFG::iterator it = vfspta->svfg->begin(); it != vfspta->svfg->end(); ++it)
    {
        SVFGNode* svfgNode = it->second;
        if (SVFUtil::isa<CopySVFGNode>(svfgNode)) numOfCopy++;
        else if (SVFUtil::isa<StoreSVFGNode>(svfgNode)) numOfStore++;
    }
 
    PTAStat::performStat();
 
    timeStatMap["TotalTime"]    = (endTime - startTime)/TIMEINTERVAL;
    timeStatMap["SolveTime"]          = vfspta->solveTime;
    timeStatMap["SCCTime"]            = vfspta->sccTime;
    timeStatMap["ProcessTime"]        = vfspta->processTime;
    timeStatMap["PropagationTime"]    = vfspta->propagationTime;
    timeStatMap["DirectPropaTime"]    = vfspta->directPropaTime;
    timeStatMap["IndirectPropaTime"]  = vfspta->indirectPropaTime;
    timeStatMap["Strong/WeakUpdTime"] = vfspta->updateTime;
    timeStatMap["AddrTime"]           = vfspta->addrTime;
    timeStatMap["CopyTime"]           = vfspta->copyTime;
    timeStatMap["GepTime"]            = vfspta->gepTime;
    timeStatMap["LoadTime"]           = vfspta->loadTime;
    timeStatMap["StoreTime"]          = vfspta->storeTime;
    timeStatMap["UpdateCGTime"]       = vfspta->updateCallGraphTime;
    timeStatMap["PhiTime"]            = vfspta->phiTime;
    timeStatMap["meldLabelingTime"]   = vfspta->meldLabelingTime;
    timeStatMap["PrelabelingTime"]    = vfspta->prelabelingTime;
    timeStatMap["VersionPropTime"]    = vfspta->versionPropTime;
 
    PTNumStatMap["TotalPointers"]  = pag->getValueNodeNum() + pag->getFieldValNodeNum();
    PTNumStatMap["TotalObjects"]   = pag->getObjectNodeNum() + pag->getFieldObjNodeNum();
 
    PTNumStatMap["Pointers"]         = pag->getValueNodeNum();
    PTNumStatMap["MemObjects"]       = pag->getObjectNodeNum();
    PTNumStatMap["DummyFieldPtrs"] = pag->getFieldValNodeNum();
    PTNumStatMap["FieldObjs"]  = pag->getFieldObjNodeNum();
 
    PTNumStatMap["TotalVersions"]     = _NumVersions;
    PTNumStatMap["MaxVersionsForObj"] = _MaxVersions;
    PTNumStatMap["TotalNonEmptyVPts"] = _NumNonEmptyVersions;
    PTNumStatMap["TotalEmptyVPts"]    = _NumEmptyVersions;
    PTNumStatMap["TotalExistingVPts"] = _NumUsedVersions;
    PTNumStatMap["TotalSingleVObjs"]  = _NumSingleVersion;
 
    PTNumStatMap["CopysNum"]  = numOfCopy;
    PTNumStatMap["StoresNum"] = numOfStore;
 
    PTNumStatMap["SolveIterations"] = vfspta->numOfIteration;
 
    PTNumStatMap["IndEdgeSolved"] = vfspta->getNumOfResolvedIndCallEdge();
 
    PTNumStatMap["StrongUpdates"] = vfspta->svfgHasSU.count();
 
    PTNumStatMap["MaxPtsSize"]        = _MaxPtsSize;
    PTNumStatMap["MaxTopLvlPtsSize"]  = _MaxTopLvlPtsSize;
    PTNumStatMap["MaxVersionPtsSize"] = _MaxVersionPtsSize;
 
    timeStatMap["AvgPtsSize"]        = _AvgPtsSize;
    timeStatMap["AvgTopLvlPtsSize"]  = _AvgTopLvlPtsSize;
    timeStatMap["AvgVersionPtsSize"] = _AvgVersionPtsSize;
 
    PTNumStatMap["ProcessedAddr"]     = vfspta->numOfProcessedAddr;
    PTNumStatMap["ProcessedCopy"]     = vfspta->numOfProcessedCopy;
    PTNumStatMap["ProcessedGep"]      = vfspta->numOfProcessedGep;
    PTNumStatMap["ProcessedLoad"]     = vfspta->numOfProcessedLoad;
    PTNumStatMap["ProcessedStore"]    = vfspta->numOfProcessedStore;
    PTNumStatMap["ProcessedPhi"]      = vfspta->numOfProcessedPhi;
    PTNumStatMap["ProcessedAParam"]   = vfspta->numOfProcessedActualParam;
    PTNumStatMap["ProcessedFRet"]     = vfspta->numOfProcessedFormalRet;
    PTNumStatMap["ProcessedMSSANode"] = vfspta->numOfProcessedMSSANode;
 
    PTNumStatMap["NumOfNodesInSCC"] = vfspta->numOfNodesInSCC;
    PTNumStatMap["MaxSCCSize"]      = vfspta->maxSCCSize;
    PTNumStatMap["NumOfSCC"]        = vfspta->numOfSCC;
    timeStatMap["AverageSCCSize"]   = (vfspta->numOfSCC == 0) ? 0 :
                                      ((double)vfspta->numOfNodesInSCC / vfspta->numOfSCC);
 
    PTAStat::printStat("Versioned Flow-Sensitive Pointer Analysis Statistics");
}

ptsSizeStat()

void VersionedFlowSensitiveStat::ptsSizeStat ( void  )

private

For all PTS size related statistics not handled by versionStat.

Definition at line 196 of file VersionedFlowSensitiveStat.cpp.

{
    u32_t totalValidTopLvlPointers = 0;
    u32_t totalTopLvlPtsSize = 0;
    for (SVFIR::iterator it = vfspta->getPAG()->begin(); it != vfspta->getPAG()->end(); ++it)
    {
        if (!vfspta->getPAG()->isValidTopLevelPtr(it->second)) continue;
 
        NodeID p = it->first;
 
        totalValidTopLvlPointers++;
 
        u32_t size = vfspta->getPts(p).count();
        totalTopLvlPtsSize += size;
        if (size > _MaxTopLvlPtsSize) _MaxTopLvlPtsSize = size;
    }
 
    if (totalValidTopLvlPointers != 0) _AvgTopLvlPtsSize = (double)totalTopLvlPtsSize / (double)totalValidTopLvlPointers;
 
    _TotalPtsSize += totalTopLvlPtsSize;
 
    if (_NumNonEmptyVersions + totalValidTopLvlPointers != 0)
    {
        _AvgPtsSize = (double)_TotalPtsSize / (double)(_NumNonEmptyVersions + totalValidTopLvlPointers);
    }
 
    _MaxPtsSize = _MaxVersionPtsSize > _MaxTopLvlPtsSize ? _MaxVersionPtsSize : _MaxTopLvlPtsSize;
}

versionStat()

void VersionedFlowSensitiveStat::versionStat ( void  )

private

For all version-related statistics.

Definition at line 152 of file VersionedFlowSensitiveStat.cpp.

{
    // TODO! Need to merge yield/consume.
    _NumSingleVersion = 0;
    _MaxVersions = 0;
 
    u32_t totalVersionPtsSize = 0;
    for (const VersionedFlowSensitive::LocVersionMap *lvm :
            {
                &vfspta->consume, &vfspta->yield
            })
    {
        for (const VersionedFlowSensitive::ObjToVersionMap  &lov : *lvm)
        {
            for (const VersionedFlowSensitive::ObjToVersionMap::value_type &ov : lov)
            {
                const NodeID o = ov.first;
                const Version v = ov.second;
 
                ++_NumVersions;
 
                // If the version was just over-approximate and never accessed, ignore.
                // TODO: with vPtD changed there is no interface to check if the PTS
                //       exists; an emptiness check is *not* an existence check.
                if (vfspta->vPtD->getPts(vfspta->atKey(o, v)).empty()) continue;
 
                const PointsTo &ovPts = vfspta->vPtD->getPts(vfspta->atKey(o, v));
                if (!ovPts.empty()) ++_NumNonEmptyVersions;
                else ++_NumEmptyVersions;
 
                _TotalPtsSize += ovPts.count();
                totalVersionPtsSize += ovPts.count();
                if (ovPts.count() > _MaxVersionPtsSize) _MaxVersionPtsSize = ovPts.count();
            }
        }
    }
 
    _NumUsedVersions = _NumNonEmptyVersions + _NumEmptyVersions;
 
    if (_NumNonEmptyVersions != 0) _AvgVersionPtsSize = (double)totalVersionPtsSize / (double)_NumUsedVersions;
 
    _TotalPtsSize += totalVersionPtsSize;
}

Member Data Documentation

_AvgPtsSize

double SVF::VersionedFlowSensitiveStat::_AvgPtsSize

private

Average size across all points-to sets.

Definition at line 214 of file WPAStat.h.

_AvgTopLvlPtsSize

double SVF::VersionedFlowSensitiveStat::_AvgTopLvlPtsSize

private

Average points-to set size for top-level pointers.

Definition at line 216 of file WPAStat.h.

_AvgVersionPtsSize

double SVF::VersionedFlowSensitiveStat::_AvgVersionPtsSize

private

Average points-to set size for address-taken objects.

Definition at line 218 of file WPAStat.h.

_MaxPtsSize

u32_t SVF::VersionedFlowSensitiveStat::_MaxPtsSize

private

Largest PTS size.

Definition at line 204 of file WPAStat.h.

_MaxTopLvlPtsSize

u32_t SVF::VersionedFlowSensitiveStat::_MaxTopLvlPtsSize

private

Max points-to set size in top-level pointers.

Definition at line 206 of file WPAStat.h.

_MaxVersionPtsSize

u32_t SVF::VersionedFlowSensitiveStat::_MaxVersionPtsSize

private

Max address-taken points-to set size.

Definition at line 208 of file WPAStat.h.

_MaxVersions

u32_t SVF::VersionedFlowSensitiveStat::_MaxVersions

private

Most versions for a single object.

Definition at line 193 of file WPAStat.h.

_NumEmptyVersions

u32_t SVF::VersionedFlowSensitiveStat::_NumEmptyVersions

private

Number of versions with empty points-to sets (actually empty, not never-accessed).

Definition at line 199 of file WPAStat.h.

_NumNonEmptyVersions

u32_t SVF::VersionedFlowSensitiveStat::_NumNonEmptyVersions

private

Number of versions with non-empty points-to sets (since versioning is over-approximate).

Definition at line 197 of file WPAStat.h.

_NumSingleVersion

u32_t SVF::VersionedFlowSensitiveStat::_NumSingleVersion

private

Number of objects which have a single version.

Definition at line 201 of file WPAStat.h.

_NumUsedVersions

u32_t SVF::VersionedFlowSensitiveStat::_NumUsedVersions

private

Number of version PTSs actually used (sum of next two fields).

Definition at line 195 of file WPAStat.h.

_NumVersions

u32_t SVF::VersionedFlowSensitiveStat::_NumVersions

private

Total number of versions across all objects.

Definition at line 191 of file WPAStat.h.

_TotalPtsSize

u32_t SVF::VersionedFlowSensitiveStat::_TotalPtsSize

private

Total of points-to set sizes for calculating averages.

Definition at line 211 of file WPAStat.h.

vfspta

VersionedFlowSensitive* SVF::VersionedFlowSensitiveStat::vfspta

Definition at line 168 of file WPAStat.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/WPA/WPAStat.h
• /home/runner/work/SVF/SVF/svf/lib/WPA/VersionedFlowSensitiveStat.cpp