SVF::MTA Class Reference

#include <MTA.h>

Public Member Functions
	MTA ()
	Constructor.
virtual	~MTA ()
	Destructor.
virtual bool	runOnModule (SVFIR *module)
	We start the pass here.
virtual MHP *	computeMHP (SVFModule *module)
	Compute MHP.
virtual LockAnalysis *	computeLocksets (TCT *tct)
	Compute locksets.
virtual void	detect (SVFModule *module)
	Perform detection.
MHP *	getMHP ()
LockAnalysis *	getLockAnalysis ()

Private Attributes
ThreadCallGraph *	tcg
std::unique_ptr< TCT >	tct
std::unique_ptr< MTAStat >	stat
MHP *	mhp
LockAnalysis *	lsa

Detailed Description

Base data race detector

Definition at line 56 of file MTA.h.

Constructor & Destructor Documentation

MTA()

MTA::MTA

(

)

Constructor.

Definition at line 43 of file MTA.cpp.

         : tcg(nullptr), tct(nullptr), mhp(nullptr), lsa(nullptr)
{
    stat = std::make_unique<MTAStat>();
}

~MTA()

MTA::~MTA ( )

virtual

Destructor.

Definition at line 48 of file MTA.cpp.

{
    if (tcg)
        delete tcg;
    //if (tct)
    //    delete tct;
    delete mhp;
    delete lsa;
}

Member Function Documentation

computeLocksets()

LockAnalysis * MTA::computeLocksets ( TCT *  tct )

virtual

Compute locksets.

Compute lock sets

Definition at line 75 of file MTA.cpp.

{
    LockAnalysis* lsa = new LockAnalysis(tct);
    lsa->analyze();
    return lsa;
}

computeMHP()

MHP * MTA::computeMHP ( SVFModule *  module )

virtual

Compute MHP.

Definition at line 82 of file MTA.cpp.

{
 
    DBOUT(DGENERAL, outs() << pasMsg("MTA analysis\n"));
    DBOUT(DMTA, outs() << pasMsg("MTA analysis\n"));
    SVFIR* pag = PAG::getPAG();
    PointerAnalysis* pta = AndersenWaveDiff::createAndersenWaveDiff(pag);
    pta->getCallGraph()->dump("ptacg");
 
    DBOUT(DGENERAL, outs() << pasMsg("Build TCT\n"));
    DBOUT(DMTA, outs() << pasMsg("Build TCT\n"));
    DOTIMESTAT(double tctStart = stat->getClk());
    tct = std::make_unique<TCT>(pta);
    tcg = tct->getThreadCallGraph();
    DOTIMESTAT(double tctEnd = stat->getClk());
    DOTIMESTAT(stat->TCTTime += (tctEnd - tctStart) / TIMEINTERVAL);
 
    if (pta->printStat())
    {
        stat->performThreadCallGraphStat(tcg);
        stat->performTCTStat(tct.get());
    }
 
    tcg->dump("tcg");
 
    DBOUT(DGENERAL, outs() << pasMsg("MHP analysis\n"));
    DBOUT(DMTA, outs() << pasMsg("MHP analysis\n"));
 
    DOTIMESTAT(double mhpStart = stat->getClk());
    MHP* mhp = new MHP(tct.get());
    mhp->analyze();
    DOTIMESTAT(double mhpEnd = stat->getClk());
    DOTIMESTAT(stat->MHPTime += (mhpEnd - mhpStart) / TIMEINTERVAL);
 
    DBOUT(DGENERAL, outs() << pasMsg("MHP analysis finish\n"));
    DBOUT(DMTA, outs() << pasMsg("MHP analysis finish\n"));
    return mhp;
}

detect()

virtual void SVF::MTA::detect ( SVFModule *  module )

virtual

Perform detection.

getLockAnalysis()

LockAnalysis * SVF::MTA::getLockAnalysis ( )

inline

Definition at line 84 of file MTA.h.

    {
        return lsa;
    }

getMHP()

MHP * SVF::MTA::getMHP ( )

inline

Definition at line 79 of file MTA.h.

    {
        return mhp;
    }

runOnModule()

bool MTA::runOnModule ( SVFIR *  pag )

virtual

We start the pass here.

Perform data race detection

Definition at line 61 of file MTA.cpp.

{
    mhp = computeMHP(pag->getModule());
    lsa = computeLocksets(mhp->getTCT());
 
    if(Options::RaceCheck())
        detect(pag->getModule());
 
    return false;
}

Member Data Documentation

lsa

LockAnalysis* SVF::MTA::lsa

private

Definition at line 93 of file MTA.h.

mhp

MHP* SVF::MTA::mhp

private

Definition at line 92 of file MTA.h.

stat

std::unique_ptr<MTAStat> SVF::MTA::stat

private

Definition at line 91 of file MTA.h.

tcg

ThreadCallGraph* SVF::MTA::tcg

private

Definition at line 89 of file MTA.h.

tct

std::unique_ptr<TCT> SVF::MTA::tct

private

Definition at line 90 of file MTA.h.

---

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

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