SVF::MTAStat Class Reference

#include <MTAStat.h>

Inheritance diagram for SVF::MTAStat:

Public Types
typedef Set< const Instruction * >	InstSet
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
	MTAStat ()
	Constructor. More...
void	performThreadCallGraphStat (ThreadCallGraph *tcg)
	Statistics for thread call graph. More...
void	performTCTStat (TCT *tct)
	Statistics for thread creation tree. More...
void	performMHPPairStat (MHP *mhp, LockAnalysis *lsa)
	Statistics for MHP statement pairs. More...
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	printStat (std::string str="")
virtual void	performStatPerQuery (NodeID)
virtual void	printStatPerQuery (NodeID, const PointsTo &)

Public Attributes
double	TCTTime
	Statistics for annotation. More...
double	MHPTime
double	AnnotationTime
Public Attributes inherited from SVF::PTAStat
NodeBS	localVarInRecursion
Public Attributes inherited from SVF::SVFStat
NUMStatMap	generalNumMap
NUMStatMap	PTNumStatMap
TIMEStatMap	timeStatMap
double	startTime
double	endTime

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

Statistics for MTA

Definition at line 47 of file MTAStat.h.

Member Typedef Documentation

InstSet

typedef Set<const Instruction*> SVF::MTAStat::InstSet

Definition at line 51 of file MTAStat.h.

Constructor & Destructor Documentation

MTAStat()

SVF::MTAStat::MTAStat ( )

inline

Constructor.

Definition at line 54 of file MTAStat.h.

             :PTAStat(nullptr),TCTTime(0),MHPTime(0),AnnotationTime(0)
    {
    }

Member Function Documentation

performMHPPairStat()

void MTAStat::performMHPPairStat	(	MHP *	mhp,
		LockAnalysis *	lsa
	)

Statistics for MHP statement pairs.

Iterate every memory access pairs write vs read write vs write

Definition at line 111 of file MTAStat.cpp.

{
 
    SVFIR* pag = SVFIR::getPAG();
    if(Options::AllPairMHP())
    {
        Set<const ICFGNode*> instSet1;
        Set<const ICFGNode*> instSet2;
        SVFModule* mod = mhp->getTCT()->getSVFModule();
        for (const SVFFunction* fun : mod->getFunctionSet())
        {
            if(SVFUtil::isExtCall(fun))
                continue;
            if(!mhp->isConnectedfromMain(fun))
                continue;
            for (SVFFunction::const_iterator bit =  fun->begin(), ebit = fun->end(); bit != ebit; ++bit)
            {
                const SVFBasicBlock* bb = *bit;
                for (const auto& icfgNode : bb->getICFGNodeList())
                {
                    for(const SVFStmt* stmt : pag->getSVFStmtList(icfgNode))
                    {
                        if(SVFUtil::isa<LoadStmt>(stmt))
                        {
                            instSet1.insert(stmt->getICFGNode());
                        }
                        else if(SVFUtil::isa<StoreStmt>(stmt))
                        {
                            instSet1.insert(stmt->getICFGNode());
                            instSet2.insert(stmt->getICFGNode());
                        }
                    }
                }
            }
        }
 
 
        for(Set<const ICFGNode*>::const_iterator it1 = instSet1.begin(), eit1 = instSet1.end(); it1!=eit1; ++it1)
        {
            for(Set<const ICFGNode*>::const_iterator it2 = instSet2.begin(), eit2 = instSet2.end(); it2!=eit2; ++it2)
            {
                mhp->mayHappenInParallel(*it1,*it2);
            }
        }
    }
 
 
    generalNumMap.clear();
    PTNumStatMap.clear();
    timeStatMap.clear();
    PTNumStatMap["TotalMHPQueries"] = mhp->numOfTotalQueries;
    PTNumStatMap["NumOfMHPPairs"] = mhp->numOfMHPQueries;
    PTNumStatMap["TotalLockQueries"] = lsa->numOfTotalQueries;
    PTNumStatMap["NumOfLockedPairs"] = lsa->numOfLockedQueries;
    PTNumStatMap["NumOfCxtLocks"] = lsa->getNumOfCxtLocks();
    timeStatMap["InterlevAnaTime"] = mhp->interleavingTime;
    timeStatMap["LockAnaTime"] = lsa->lockTime;
    timeStatMap["InterlevQueryTime"] = mhp->interleavingQueriesTime;
    timeStatMap["LockQueryTime"] = lsa->lockQueriesTime;
    timeStatMap["MHPAnalysisTime"] = MHPTime;
 
    SVFUtil::outs() << "\n****MHP Stmt Pairs Statistics****\n";
    PTAStat::printStat();
}

performTCTStat()

void MTAStat::performTCTStat

(

TCT *

tct

)

Statistics for thread creation tree.

Definition at line 91 of file MTAStat.cpp.

{
 
    PTNumStatMap.clear();
    timeStatMap.clear();
    PTNumStatMap["NumOfCandidateFun"] = tct->getMakredProcs().size();
    PTNumStatMap["NumOfTotalFun"] = tct->getThreadCallGraph()->getTotalNodeNum();
    PTNumStatMap["NumOfTCTNode"] = tct->getTCTNodeNum();
    PTNumStatMap["NumOfTCTEdge"] = tct->getTCTEdgeNum();
    PTNumStatMap["MaxCxtSize"] = tct->getMaxCxtSize();
    timeStatMap["BuildingTCTTime"] = TCTTime;
    SVFUtil::outs() << "\n****Thread Creation Tree Statistics****\n";
    PTAStat::printStat();
}

performThreadCallGraphStat()

void MTAStat::performThreadCallGraphStat

(

ThreadCallGraph *

tcg

)

Statistics for thread call graph.

Statistics for thread call graph

Definition at line 43 of file MTAStat.cpp.

{
    u32_t numOfForkEdge = 0;
    u32_t numOfJoinEdge = 0;
    u32_t numOfIndForksite = 0;
    u32_t numOfIndForkEdge = 0;
    for (ThreadCallGraph::CallSiteSet::const_iterator it = tcg->forksitesBegin(), eit = tcg->forksitesEnd(); it != eit; ++it)
    {
        bool indirectfork = false;
        const SVFFunction* spawnee = SVFUtil::dyn_cast<SVFFunction>(tcg->getThreadAPI()->getForkedFun(*it)->getValue());
        if(spawnee==nullptr)
        {
            numOfIndForksite++;
            indirectfork = true;
        }
        for (ThreadCallGraph::ForkEdgeSet::const_iterator cgIt = tcg->getForkEdgeBegin(*it), ecgIt =
                    tcg->getForkEdgeEnd(*it); cgIt != ecgIt; ++cgIt)
        {
            numOfForkEdge++;
            if(indirectfork)
                numOfIndForkEdge++;
        }
    }
 
    for (ThreadCallGraph::CallSiteSet::const_iterator it = tcg->joinsitesBegin(), eit = tcg->joinsitesEnd(); it != eit; ++it)
    {
        for (ThreadCallGraph::JoinEdgeSet::const_iterator cgIt = tcg->getJoinEdgeBegin(*it), ecgIt =
                    tcg->getJoinEdgeEnd(*it); cgIt != ecgIt; ++cgIt)
        {
            numOfJoinEdge++;
        }
    }
 
 
    PTNumStatMap.clear();
    PTNumStatMap["NumOfForkSite"] = tcg->getNumOfForksite();
    PTNumStatMap["NumOfForkEdge"] = numOfForkEdge;
    PTNumStatMap["NumOfJoinEdge"] = numOfJoinEdge;
    PTNumStatMap["NumOfJoinSite"] = tcg->getNumOfJoinsite();
    PTNumStatMap["NumOfIndForkSite"] = numOfIndForksite;
    PTNumStatMap["NumOfIndForkEdge"] = numOfIndForkEdge;
    PTNumStatMap["NumOfIndCallEdge"] = tcg->getNumOfResolvedIndCallEdge();
 
    SVFUtil::outs() << "\n****Thread Call Graph Statistics****\n";
    PTAStat::printStat();
}

Member Data Documentation

AnnotationTime

double SVF::MTAStat::AnnotationTime

Definition at line 68 of file MTAStat.h.

MHPTime

double SVF::MTAStat::MHPTime

Definition at line 67 of file MTAStat.h.

TCTTime

double SVF::MTAStat::TCTTime

Statistics for annotation.

Definition at line 66 of file MTAStat.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/MTA/MTAStat.h
• /home/runner/work/SVF/SVF/svf/lib/MTA/MTAStat.cpp