SVF::PTAStat Class Reference

#include <PTAStat.h>

Inheritance diagram for SVF::PTAStat:

Public Member Functions
	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 &)

Public Attributes
NodeBS	localVarInRecursion
Public Attributes inherited from SVF::SVFStat
NUMStatMap	generalNumMap
NUMStatMap	PTNumStatMap
TIMEStatMap	timeStatMap
double	startTime
double	endTime

Protected Attributes
PointerAnalysis *	pta
u32_t	_vmrssUsageBefore
u32_t	_vmrssUsageAfter
u32_t	_vmsizeUsageBefore
u32_t	_vmsizeUsageAfter

Additional Inherited Members
Public Types inherited from SVF::SVFStat
enum class	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

Detailed Description

Pointer Analysis Statistics

Definition at line 48 of file PTAStat.h.

Constructor & Destructor Documentation

PTAStat()

PTAStat::PTAStat

(

PointerAnalysis *

p

)

Definition at line 40 of file PTAStat.cpp.

                                   : SVFStat(),
    pta(p),
    _vmrssUsageBefore(0),
    _vmrssUsageAfter(0),
    _vmsizeUsageBefore(0),
    _vmsizeUsageAfter(0)
{
    u32_t vmrss = 0;
    u32_t vmsize = 0;
    SVFUtil::getMemoryUsageKB(&vmrss, &vmsize);
    setMemUsageBefore(vmrss, vmsize);
}

~PTAStat()

virtual SVF::PTAStat::~PTAStat ( )

inlinevirtual

Definition at line 52 of file PTAStat.h.

{}

Member Function Documentation

callgraphStat()

void PTAStat::callgraphStat ( )

overridevirtual

Reimplemented from SVF::SVFStat.

Definition at line 82 of file PTAStat.cpp.

{
 
    CallGraph* graph = pta->getCallGraph();
    PointerAnalysis::CallGraphSCC* callgraphSCC = new PointerAnalysis::CallGraphSCC(graph);
    callgraphSCC->find();
 
    unsigned totalNode = 0;
    unsigned totalCycle = 0;
    unsigned nodeInCycle = 0;
    unsigned maxNodeInCycle = 0;
    unsigned totalEdge = 0;
    unsigned edgeInCycle = 0;
 
    NodeSet sccRepNodeSet;
    CallGraph::iterator it = graph->begin();
    CallGraph::iterator eit = graph->end();
    for (; it != eit; ++it)
    {
        totalNode++;
        if(callgraphSCC->isInCycle(it->first))
        {
            sccRepNodeSet.insert(callgraphSCC->repNode(it->first));
            nodeInCycle++;
            const NodeBS& subNodes = callgraphSCC->subNodes(it->first);
            if(subNodes.count() > maxNodeInCycle)
                maxNodeInCycle = subNodes.count();
        }
 
        CallGraphNode::const_iterator edgeIt = it->second->InEdgeBegin();
        CallGraphNode::const_iterator edgeEit = it->second->InEdgeEnd();
        for (; edgeIt != edgeEit; ++edgeIt)
        {
            CallGraphEdge*edge = *edgeIt;
            totalEdge+= edge->getDirectCalls().size() + edge->getIndirectCalls().size();
            if(callgraphSCC->repNode(edge->getSrcID()) == callgraphSCC->repNode(edge->getDstID()))
            {
                edgeInCycle+=edge->getDirectCalls().size() + edge->getIndirectCalls().size();
            }
        }
    }
 
    totalCycle = sccRepNodeSet.size();
 
    PTNumStatMap["TotalNode"] = totalNode;
    PTNumStatMap["TotalCycle"] = totalCycle;
    PTNumStatMap["NodeInCycle"] = nodeInCycle;
    PTNumStatMap["MaxNodeInCycle"] = maxNodeInCycle;
    PTNumStatMap["TotalEdge"] = totalEdge;
    PTNumStatMap["CalRetPairInCycle"] = edgeInCycle;
 
    if(pta->getAnalysisTy() >= PTATY::Andersen_BASE && pta->getAnalysisTy() <= PTATY::Steensgaard_WPA)
        SVFStat::printStat("PTACallGraph Stats (Andersen analysis)");
    else if(pta->getAnalysisTy() >= PTATY::FSDATAFLOW_WPA && pta->getAnalysisTy() <= PTATY::FSCS_WPA)
        SVFStat::printStat("PTACallGraph Stats (Flow-sensitive analysis)");
    else if(pta->getAnalysisTy() >= PTATY::CFLFICI_WPA && pta->getAnalysisTy() <= PTATY::CFLFSCS_WPA)
        SVFStat::printStat("PTACallGraph Stats (CFL-R analysis)");
    else if(pta->getAnalysisTy() >= PTATY::FieldS_DDA && pta->getAnalysisTy() <= PTATY::Cxt_DDA)
        SVFStat::printStat("PTACallGraph Stats (DDA analysis)");
    else
        SVFStat::printStat("PTACallGraph Stats");
 
    delete callgraphSCC;
}

performStat()

void PTAStat::performStat ( )

overridevirtual

Implements SVF::SVFStat.

Reimplemented in SVF::VersionedFlowSensitiveStat, and SVF::SVFGStat.

Definition at line 53 of file PTAStat.cpp.

{
 
    SVFStat::performStat();
 
    callgraphStat();
 
    SVFIR* pag = SVFIR::getPAG();
    for(SVFIR::iterator it = pag->begin(), eit = pag->end(); it!=eit; ++it)
    {
        PAGNode* node = it->second;
        if(SVFUtil::isa<ObjVar>(node))
        {
            if(pta->isLocalVarInRecursiveFun(node->getId()))
            {
                localVarInRecursion.set(node->getId());
            }
        }
    }
    PTNumStatMap["LocalVarInRecur"] = localVarInRecursion.count();
 
    u32_t vmrss = 0;
    u32_t vmsize = 0;
    SVFUtil::getMemoryUsageKB(&vmrss, &vmsize);
    setMemUsageAfter(vmrss, vmsize);
    timeStatMap["MemoryUsageVmrss"] = _vmrssUsageAfter - _vmrssUsageBefore;
    timeStatMap["MemoryUsageVmsize"] = _vmsizeUsageAfter - _vmsizeUsageBefore;
}

setMemUsageAfter()

void SVF::PTAStat::setMemUsageAfter ( u32_t  vmrss, u32_t  vmsize  )

inline

Definition at line 62 of file PTAStat.h.

    {
        _vmrssUsageAfter = vmrss;
        _vmsizeUsageAfter = vmsize;
    }

setMemUsageBefore()

void SVF::PTAStat::setMemUsageBefore ( u32_t  vmrss, u32_t  vmsize  )

inline

Definition at line 56 of file PTAStat.h.

    {
        _vmrssUsageBefore = vmrss;
        _vmsizeUsageBefore = vmsize;
    }

Member Data Documentation

_vmrssUsageAfter

u32_t SVF::PTAStat::_vmrssUsageAfter

protected

Definition at line 76 of file PTAStat.h.

_vmrssUsageBefore

u32_t SVF::PTAStat::_vmrssUsageBefore

protected

Definition at line 75 of file PTAStat.h.

_vmsizeUsageAfter

u32_t SVF::PTAStat::_vmsizeUsageAfter

protected

Definition at line 78 of file PTAStat.h.

_vmsizeUsageBefore

u32_t SVF::PTAStat::_vmsizeUsageBefore

protected

Definition at line 77 of file PTAStat.h.

localVarInRecursion

NodeBS SVF::PTAStat::localVarInRecursion

Definition at line 54 of file PTAStat.h.

pta

PointerAnalysis* SVF::PTAStat::pta

protected

Definition at line 74 of file PTAStat.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Util/PTAStat.h
• /home/runner/work/SVF/SVF/svf/lib/Util/PTAStat.cpp