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

void	performThreadCallGraphStat (ThreadCallGraph *tcg)
	Statistics for thread call graph.

void	performTCTStat (TCT *tct)
	Statistics for thread creation tree.

void	performMHPPairStat (MHP mhp, LockAnalysis lsa)
	Statistics for MHP statement pairs.

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.

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.

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 112 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 92 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 44 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 ValVar* pValVar = tcg->getThreadAPI()->getForkedFun(*it);
        if(!SVFUtil::isa<FunValVar>(pValVar))
        {
            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

Public Types

Public Member Functions

Public Attributes

Additional Inherited Members